一种采用一阶动态逻辑表示的数字权限描述模型

？针对已有数字权限描述模型的动态语义描述能力较弱问题,提出了一个能够描述权限动作状态的数字产品权限描述模型ddrm。基于一阶动态逻辑,定义了一个用于描述数字权限概念的一阶动态逻辑符号系统drfdl,并在ddrm模型基础上给出了drfdl的语义结构(该语义结构能够反映动作的动态特性)。基于ddrm模型还给出了一个表达权限证书的文法,应用drfdl逻辑语言给出了该文法生成的权限证书的形式语义,并探讨了该证书的确定性和有效性。