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

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

论文类型: 硕士论文

论文专业: 计算机软件与理论

作者: 孙伟

导师: 翟玉庆

关键词: 数字权限管理,数字权限表达模型,一阶动态逻辑,权限验证

文献来源: 东南大学

发表年度: 2005

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

论文目录:

摘要

Abstract

第一章 绪论

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 进一步的工作

致谢

参考文献

在学期间发表的论文

发布时间: 2007-06-11

参考文献

• [1].基于形态学的矢量形态表达模型的研究[D]. 黄琛.长安大学2011
• [2].网络教学中支持隐性知识的知识表达模型研究及应用[D]. 袁明明.东南大学2017
• [3].空间关系表达模型及其在空间查询中的应用研究[D]. 唐雪华.武汉大学2005
• [4].基于案例的地理时空过程表达模型研究[D]. 杨新忠.山东科技大学2010
• [5].基于海湾系统概念及其分类的遥感应用[D]. 刘勇.山东科技大学2009
• [6].土地利用数据多尺度表达模型构建及实现[D]. 陈青.中国石油大学(华东)2015
• [7].“平法”框架柱钢筋表达模型及信息获取和识别技术研究[D]. 韦坚.西南交通大学2002
• [8].图文混合工程数据的可视化表达方法研究与实现[D]. 黄如金.华中科技大学2013
• [9].空间带洞区域拓扑关系表达模型的研究[D]. 霍林林.吉林大学2008
• [10].“平法”框架柱钢筋表达模型及工程量统计系统研究[D]. 孙波成.西南交通大学2002

相关论文

• [1].空调自控系统的设计[D]. 郭丹春.上海交通大学2009
• [2].数字版权管理中文件管理及许可证分发的研究[D]. 张帆.吉林大学2009
• [3].Ontology映射研究[D]. 李光达.中国农业科学院2009
• [4].基于GSM SMS的短信平台及其应用系统的设计与实现[D]. 郭辉.东南大学2006
• [5].访问控制中权限的研究与应用[D]. 肖川豫.重庆大学2006
• [6].用户行为描述及跟踪机制的研究与实现[D]. 凌志辉.东南大学2005
• [7].基于不确定推理的DRM安全审计系统[D]. 傅朝阳.东南大学2005
• [8].JPOSE权限模型的设计[D]. 郭丽丽.昆明理工大学2007
• [9].一个基于Ontology的数字权限表达语言的设计与实现[D]. 赵军.东南大学2004
• [10].基于动态逻辑的Agent的形式化模型[D]. 张春霞.云南师范大学2000

标签：数字权限管理论文;  数字权限表达模型论文;  一阶动态逻辑论文;  权限验证论文;