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