收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

数字权限表达语言的形式化模型及应用研究

陈潇怡  
【摘要】:数字权限的表达既是数字版权管理(DRM:Digital Right Management)研究的出发点,又是DRM中最为核心同时也是最为复杂的问题,它涉及到各个利益主体之间权利义务的平衡及各方利益的精确表达和利益博弈。本文针对该主题,为解决DRM中权限的清晰、精确表达这一关键问题,提出了一种可扩展的数字权限表达语言(EDREL: Extended Digital Right Expression Language)模型,并利用领域工程、软件工程中自上而下逐步求精的思路和形式化方法,论述并分析了该模型的语法、语义及在两个应用领域中的语用。本文的工作主要集中在如下四个方面: 1.利用领域工程的方法对数字版权管理的应用领域进行分析和建模,并针对数字权限表达问题构建了一个EDREL模型。与现有模型相比,EDREL模型特点如下:(1)现有模型仅描述被授权方的信息,本文的模型能同时描述授权方和被授权方双方信息,从而便于发生权限纠纷时进行判断与回溯;(2)现有的形式化模型不支持权限次发布的描述,而本文的模型增加了关于针对这一类情况描述所需的语法与形式化分析;(3)现有模型中许可证的概念仅局限于被授权方的义务类型动作的描述,而EDREL模型中扩展为被授权方的数字内容生命周期中权利与义务的各种动作的描述,使得这种权限描述模型能扩展到更广泛的数字内容的应用领域。 2.利用RSL和OTS/CafeOBJ方法对EDREL模型进行形式化描述,并在此基础上进行了形式化的推导分析。相对现有的相关形式化研究,本文使用的方法有更强和更全面的分析功能和逻辑描述功能:(1)OTS建模方法使得以往基于单个许可证的动作序列模型分析变为了可同时分析多个许可证的动作序列;(2)增加了时序逻辑的CafeOBJ描述,在用CafeOBJ给出模型及相关性质后,基于其自动推导系统能高效便捷的自动完成形式化的分析推导;(3)使用道义逻辑和时序逻辑描述了权限表达,论述了如何使用OTS/CafeOBJ方法来描述权限表达语言中使用期限以及使用策略等与时序有关的问题。 3.将EDREL的思路和方法应用到电子政务领域的文件访问控制,给出了EDREL模型在这个领域中的应用并进行了形式化分析,同时用形式化方法比较了使用该模型前后文件访问的及时性。 4.将EDREL的思路和方法应用到基于XBRL GL的会计信息披露领域,提出一种会计数字权限管理描述语言来描述不同会计信息发布者与使用者之间会计信息的权利及义务,从而解决语义网络环境下会计机密信息向非法用户流出的安全风险问题。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 韦红余;周盎敏;;可重构电子政务系统开发建模研究[J];机械制造与自动化;2007年05期
2 祝恒云;徐岩;;可重构电子政务系统开发建模研究[J];南京工业职业技术学院学报;2007年02期
3 黎忠文,熊光泽;形式化方法与安全关键系统[J];计算机应用;2000年09期
4 张慧;郑超美;;安全协议的形式化验证方法概述[J];计算机安全;2007年01期
5 姚全珠;张鹏;;基于数据包长度的网络隐蔽通道[J];计算机工程;2008年03期
6 陈道喜;陈冬火;张广泉;;NS密码协议的模型检测分析[J];苏州大学学报(工科版);2008年03期
7 邹俊;;反射中间件技术及其发展[J];科技广场;2009年03期
8 孙麒;张云华;;基于CSP的形式化方法研究[J];浙江理工大学学报;2009年04期
9 游红俊,周红梅,程胜利,陈先桥;形式化方法在CSTA系统测试中的应用研究[J];计算机测量与控制;2004年08期
10 朱艳龙;;软件形式化方法的研究[J];阴山学刊(自然科学版);2004年02期
11 邓达平 ,王命延;形式化方法——Z语言在西瓜棋中应用的研究[J];科技广场;2005年02期
12 张志锋;徐洁;邓璐娟;任雪利;;基于B的UML形式化需求分析[J];计算机技术与发展;2007年08期
13 李建华;李红革;;形式化及其历史发展[J];自然辩证法研究;2008年08期
14 廖伟志;;软件开发的形式化方法在程序测试中的应用[J];广西师范学院学报(自然科学版);2008年04期
15 郑霄;赖新;王丽;田涛;;复杂串联系统的状态空间生成的形式化分析[J];计算机工程与科学;2009年S1期
16 郭小群;郝克刚;侯红;丁剑洁;;复杂分支和同步模式的Pi演算描述[J];计算机科学;2010年02期
17 林闯,李雅娟,王忠民;性能评价形式化方法的现状和发展[J];电子学报;2002年S1期
18 冯烟利,余镇危,潘耘,刘克俭;网络体系结构建模和性能评价的形式化方法——随机进程代数[J];数学的实践与认识;2004年11期
19 陈生庆,张立臣,陈广明;集成的Z实时扩展RT-Z及其应用模式[J];微电子学与计算机;2005年06期
20 姜梦稚;张桂戌;;基于 Petri 网和 B 语言集成的形式化方法[J];微型电脑应用;2005年11期
中国重要会议论文全文数据库 前10条
1 万小艳;;加快电子政务建设,提升党的执政能力[A];湖北省行政管理学会——2004年年会论文集[C];2004年
2 阚劲军;周志逵;;Web Services技术在电子政务系统的数据中心建设中的应用探索[A];第二十届全国数据库学术会议论文集(技术报告篇)[C];2003年
3 齐冬梅;;电子政务与政府能力建设[A];中国行政管理学会2005年年会暨“政府行政能力建设与构建和谐社会”研讨会论文集[C];2005年
4 唐京利;;电子政务安全保障体系结构[A];第十七次全国计算机安全学术交流会暨电子政务安全研讨会论文集[C];2002年
5 申林;;基于电子政务的公务员勤政行为评价[A];上海市社会科学界第五届学术年会文集(2007年度)(经济·管理学科卷)[C];2007年
6 王谦;刘国明;;推进电子政务与提高行政效率[A];“构建和谐社会与深化行政管理体制改革”研讨会暨中国行政管理学会2007年年会论文集[C];2007年
7 王琼霄;荆继武;高能;;OCTAVE风险评估方法在电子政务中的应用[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
8 陆宝华;;电子政务的安全管理[A];第十七次全国计算机安全学术交流会暨电子政务安全研讨会论文集[C];2002年
9 张锐昕;杨国栋;;电子政务提高行政效率的策略选择[A];“中国特色社会主义行政管理体制”研讨会暨中国行政管理学会第20届年会论文集[C];2010年
10 陈晓鸥;;改善电子政务建设效益的技术手段[A];2005中国电子政务与信息安全论坛会议资料[C];2005年
中国博士学位论文全文数据库 前10条
1 陈潇怡;数字权限表达语言的形式化模型及应用研究[D];武汉大学;2011年
2 龙慧云;基于进程代数的Web服务数据和组合的形式化方法研究[D];贵州大学;2009年
3 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
4 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
5 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
6 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
7 燕飞;轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D];北京交通大学;2006年
8 陈怡海;面向对象软件规格说明的构造及确认技术研究[D];上海大学;2007年
9 金仙力;实时服务构件的语义特征和行为组装形式化技术研究[D];北京邮电大学;2008年
10 廖军;面向服务的计算(SOC)中服务组合的研究[D];电子科技大学;2006年
中国硕士学位论文全文数据库 前10条
1 唐芳芳;哥德尔定理的意义[D];清华大学;2005年
2 李晔;基于构件的形式化需求分析方法研究与实现[D];西安理工大学;2003年
3 王永宝;密码协议的代数模型和安全分析算法研究[D];北京邮电大学;2006年
4 王天舟;早期需求工程中的形式化建模与模型检验应用研究[D];浙江工业大学;2006年
5 张卫;实时系统的形式化设计与辅助代码生成研究[D];华中科技大学;2006年
6 陈岳;基于形式化方法构建领域模型及其实现的探讨[D];华东师范大学;2008年
7 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
8 彭珊珊;安全的电子投票方案及其匿名性的研究[D];上海交通大学;2008年
9 陈广明;Z语言的实时扩展及应用[D];广东工业大学;2004年
10 王森;基于PAR方法开发算法程序的研究[D];江西师范大学;2004年
中国重要报纸全文数据库 前10条
1 ;电子政务破解“烟囱林立”困局[N];人民政协报;2005年
2 本报记者 王海滨;高效快捷一网通[N];科技日报;2006年
3 记者 黄建胜;山丹电子政务系统投入使用[N];张掖日报;2007年
4 记者 徐德坤通讯员 吴旗;玉州区全面推广电子政务办公[N];广西日报;2007年
5 郑燃;电子政务如何降低IT投资风险[N];政府采购信息报;2007年
6 程超;青岛:推行“电子政务一证通”[N];中国电子报;2008年
7 朱必义;精河有了电子政务新“名片”[N];新疆日报(汉);2008年
8 曾庆斌 杨珂;济源成功探索电子政务新模式[N];人民邮电;2006年
9 记者 彭韶 吴景炘 通讯员 关海旋;广钢电子政务系统通过验收[N];中国冶金报;2005年
10 胡玲;安全管理是电子政务的关键[N];光华时报;2005年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978