一个以动作状态为中心的数字权限表达模型研究

摘要

随着越来越多数字内容在Internet上广泛出版与递送，人们迫切希望通过数字权限管理技术来保护数字内容的知识产权，保障作者、出版商、分销商的利益和用户的合法权利。数字权限管理技术的核心之一是数字权限表达模型。 本文提出了一个以动作状态为中心的数字权限表达模型——DDRM模型。DDRM模型的特点是既可描述权限动作与权限动作主体、资源、设备等概念之间的静态关系，又使用时间、次数、费用等概念描述权限动作执行状态，利用权限动作执行状态决定权限动作主体的义务。为了表达基于DDRM模型的权限推理，本文给出了一个基于一阶动态逻辑的逻辑符号系统DrFDL，并使用有限状态自动机模拟了基于DDRM模型的权限推理过程。为了实现基于DDRM模型的权限验证，设计了一个基于DDRM模型的权限验证算法，并分析了其时间空间复杂度，同时讨论了权限验证过程中出现的冲突消解方法。最后，基于MPEGRELSDK框架系统，构建了一个基于DDRM模型的权限验证原型系统，并对原型系统进行了测试。

目录

文摘

英文文摘

东南大学学位论文独创性声明及使用授权声明

第一章绪论

1.1研究背景

1.2主要内容

1.3论文结构

第二章以动作状态为中心的数字权限表达模型

2.1简单的数字权限表达模型

2.1.1 XrML/REL的数字权限表达模型

2.1.2 ODRL的数字权限表达模型

2.2具有形式语义的数字权限表达模型

2.2.1基于事件的数字权限表达模型

2.2.2具有动态特性的数字权限表达模型

2.2.3 OREL Ontology数字权限表达模型

2.2.4小结

2.3以动作状态为中心的数字权限表达模型

2.3.1动态的数字权限表达模型(Dynamic Digital Rights Model，DDRM)

2.3.2基于BNF文法的DDRM模型定义

2.3.3例子

第三章采用一阶动态逻辑表示的数字权限推理系统

3.1采用一阶动态逻辑表示的权限推理

3.1.1理论依据

3.1.2 DrFDL逻辑(Digital rights First-order Dynamic Logic)

3.1.3 DrDFL推理系统

3.2相关研究比较分析

3.3基于DDRM模型的权限推理状态图

3.3.1权限推理状态图

3.3.2案例分析

第四章基于DDRM模型的权限验证

4.1 XrML/REL的权限验证

4.1.1 XrML/REL权限验证基本流程

4.1.2条件验证工作流程

4.2基于DDRM模型的权限验证

4.2.1基于DDRM模型的权限验证流程

4.2.2多个obligation的冲突消解

4.2.3基于DDRM模型的权限验证算法

第五章原型系统的实现

5.1 MPEG REL SDK简介

5.1.1 MPEG REL SDK体系结构

5.1.2 MPEG REL SDK基本类与接口

5.2原型系统设计与实现

5.2.1体系结构设计

5.2.2概要设计

5.2.3详细设计

5.2.4系统实现

5.2.5 小结

第六章结束语

6.1完成的主要工作

6.2进一步的工作

致 谢

参考文献

在学期间发表的论文