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

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

Digital rights expression model based on first-order dynamic logic

In order to deal with the problem that current digital rights expression models have less ability to describe dynamic semantics, a new model, DDRM(Dynamic Digical Rights Model), which can describe action state was presented. Based on first-order dynamic logic, a new symbol system of first-order dynamic logic, DrFDL(Digital rights Fist-order Dynamic Logic), was defined to describe digital rights conception DrFDL semantic structure which can reflect dynamic property of action was presented based on DDRM. In addition, a license syntax based on DDRM was provided for rights expression. Then DrFDL logic was used to express the formal semantics of the licenses produced from this syntax and the determinacy with validity of these licenses was explored at last.