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

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

一种以动作状态为中心的数字权限描述模型

数字内容出版与递送领域的一个关键问题是数字权限管理。数字权限管理的核心是数字权限描述模型。该文的主要工作是依据国内外已有数字权限描述模型关于形式语义的研究进展,提出一种数字权限描述模型,该模型通过描述动作的状态及其变迁来表达数字权限证书动态语义。结合有限状态自动机理论,该模型不仅能够提供数字权限管理证书的动态形式语义,而且能够为数字产品权限管理系统的实际应用提供较强的推导能力。