一阶动态逻辑论文

论文题目:一个以动作状态为中心的数字权限表达模型研究论文类型:硕士论文论文专业:计算机软件与理论作者:孙伟导师:翟玉庆关键词:数字权限管理,数字权限表达模型,一阶动态逻辑,权限...