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

【Abstract】 Digital rights management is one of the core issues in the field of digital content’s publication and delivery.The kernel of the digital rights management is digital rights expression model.In this paper,according to the internal and international research development about formal semantic expression in existed digital right expression models,we give a new model that has some dynamic reasoning abilities and is based on the theory of finite automation.With the theory of finite automata,the model can not only provide dynamic formal expression ability for licenses of digital rights management,but also provide strong competence for formal reasoning in practical applications of the rights management system of digital production.更多还原