收藏本站
《武汉大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

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

陈潇怡  
【摘要】:数字权限的表达既是数字版权管理(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的会计信息披露领域,提出一种会计数字权限管理描述语言来描述不同会计信息发布者与使用者之间会计信息的权利及义务,从而解决语义网络环境下会计机密信息向非法用户流出的安全风险问题。
【学位授予单位】:武汉大学
【学位级别】:博士
【学位授予年份】:2011
【分类号】:TP311.52

【参考文献】
中国期刊全文数据库 前9条
1 袁中兰,夏光升,温巧燕,杨义先;数字作品著作权保护协议[J];北京邮电大学学报;2005年01期
2 王明华,钮心忻,杨义先;移动网络数字内容分发的版权管理研究[J];电信科学;2005年11期
3 杨成,杨义先;信息安全与数字版权保护(下)[J];计算机安全;2004年02期
4 俞银燕;汤帜;;数字版权保护技术研究综述[J];计算机学报;2005年12期
5 何炎祥;吴伟;刘陶;李清安;陈勇;胡明昊;刘健博;石谦;;可信编译理论及其核心实现技术:研究综述[J];计算机科学与探索;2011年01期
6 马兆丰;顾明;孙家广;;基于角色的可信数字版权安全许可授权模型[J];清华大学学报(自然科学版);2006年04期
7 王千祥,吴琼,李克勤,杨芙清;一种面向对象的领域工程方法[J];软件学报;2002年10期
8 刘立刚,陈晓苏,胡蕾;抗协议攻击的数字版权保护安全方案[J];中山大学学报(自然科学版);2004年S2期
9 陈潇怡;欧阳电平;;会计数字版权管理描述语言与实现[J];武汉大学学报(理学版);2009年04期
【共引文献】
中国期刊全文数据库 前10条
1 周锐;;国家现代远程教育资源库的数字版权保护系统设计研究[J];安徽广播电视大学学报;2009年03期
2 马俊;伍江江;任江春;;基于可信计算的文档主动防护模型[J];信息安全与技术;2010年06期
3 杨超;王一宾;;一种改进的词法分析程序及其类C语言实现[J];安庆师范学院学报(自然科学版);2009年04期
4 赵星;窦小雨;;浅析P2P技术的安全问题与防御体系[J];办公自动化;2010年02期
5 温习;谭月辉;张鹏;董殿伟;;一种结合数字认证基于SVD的数字水印系统[J];兵工自动化;2008年09期
6 许东阳;汤帜;俞银燕;;SDDRM:基于分段的电子文档动态版权管理[J];北京大学学报(自然科学版);2012年04期
7 吴子敬;闫公敬;杨旸;申利民;;柔性业务对象模型的定义和应用[J];北京理工大学学报;2010年04期
8 袁征;温巧燕;刁俊峰;;基于水印和密码技术的数字版权保护模式[J];北京邮电大学学报;2006年05期
9 冯柳平;郑良斌;;基于机器指纹的数字内容版权控制[J];北京印刷学院学报;2010年02期
10 姜明新;迟学芬;;基于IWT和HVS的彩色图像数字水印算法[J];吉林大学学报(信息科学版);2007年01期
中国重要会议论文全文数据库 前6条
1 冯伟;郑玲;;P2P网络概述[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(下册)[C];2008年
2 李樱;隋爱娜;赵大川;王永滨;;支持互操作和隐私保护的统一用户认证平台[A];全国计算机安全学术交流会论文集(第二十三卷)[C];2008年
3 刘凌;贺毅辉;;基于领域工程方法的军事标图系统设计[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(上册)[C];2007年
4 柳永坡;晏海华;张懋;刘雪梅;;测试流程管理与监控技术的研究与实现[A];第五届中国测试学术会议论文集[C];2008年
5 周国祥;陆文海;;基于BHO技术的数字版权保护系统的研究与设计[A];第六届中国测试学术会议论文集[C];2010年
6 姚丹霖;殷建平;;大型汉英双语电子词典的结构与自动生成[A];数据库研究进展97——第十四届全国数据库学术会议论文集(下)[C];1997年
中国博士学位论文全文数据库 前10条
1 孙建国;基于内容特征的二维矢量地图数字水印技术研究[D];哈尔滨工程大学;2009年
2 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
3 苗丰满;基于格的跨信任域认证联盟关键技术研究[D];兰州理工大学;2011年
4 张冬芳;3G网络的身份认证与内容安全关键技术研究[D];北京邮电大学;2010年
5 代飞;基于EPMM的软件演化过程模型验证[D];云南大学;2011年
6 陈晓江;分布式系统软件体系结构建模与开发方法研究[D];西北大学;2010年
7 骆轶姝;数据库权益管理模式及应用研究[D];东华大学;2011年
8 曾颖;基于抽象解释的软件保护相关问题研究[D];解放军信息工程大学;2011年
9 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
10 李广元;LTLC:面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年
中国硕士学位论文全文数据库 前10条
1 黄宇轩;通用电子文档防泄密技术研究与实现[D];北京邮电大学;2011年
2 朱恒亮;SOA中服务与服务组合的形式化研究[D];福建师范大学;2010年
3 黎萍;银行管理软件开发框架研究及应用[D];大连交通大学;2010年
4 韩永生;复杂电磁环境监测通用软件架构及构件技术研究[D];西安电子科技大学;2009年
5 肖雷;移动终端数字版权管理组件的设计与实现[D];西安电子科技大学;2011年
6 孙改玲;产品数据管理(PDM)中数字水印编码系统的研究[D];西安电子科技大学;2009年
7 谭永坤;基于动态图的软件水印研究与实现[D];吉林大学;2011年
8 李润峰;音视频数字版权管理系统设计[D];北京邮电大学;2011年
9 孙宝寅;IPTV DRM系统设计与实现[D];北京邮电大学;2011年
10 毛丽荣;基于DRM的电子文档安全管理与防泄密系统设计与实现[D];北京邮电大学;2011年
【二级参考文献】
中国期刊全文数据库 前10条
1 俞银燕,汤帜;一种具有硬件适应性的数字内容版权保护机制[J];北京大学学报(自然科学版);2005年05期
2 刘珺,罗守山,吴秋新,钮心忻,杨义先;基于中国剩余定理的数字水印分存技术[J];北京邮电大学学报;2002年01期
3 李学斌,刘泽民;基于均匀多通道子带变换的图像水印算法[J];北京邮电大学学报;2003年02期
4 周明天;谭良;;可信计算及其进展[J];电子科技大学学报;2006年S1期
5 谭建龙,庄超,白硕;一种实用Internet内容版权保护系统的设计与实现[J];计算机研究与发展;2001年10期
6 庄超;一种新型的Internet内容版权保护的计算机制[J];计算机学报;2000年10期
7 马兆丰,冯博琴,宋擒豹,王浩鸣;基于动态许可证的信任版权安全认证协议[J];软件学报;2004年01期
8 ;Development of Trusted Computing Research[J];Wuhan University Journal of Natural Sciences;2006年06期
9 刘克;单志广;王戟;何积丰;张兆田;秦玉文;;“可信软件基础研究”重大研究计划综述[J];中国科学基金;2008年03期
10 梁清华,汪洋;数字时代版权领域的利益冲突及解决思路[J];知识产权;2004年05期
【相似文献】
中国期刊全文数据库 前10条
1 许报,李晓红,赵志强,周敏;Domino数据库中权限控制与流程记录实现工作流[J];吉林电力;2004年03期
2 王昱;数字图书馆中的权限控制研究[J];中国科技信息;2005年04期
3 王少华;施庆平;;商业自动化系统的多用户权限控制[J];商场现代化;2005年30期
4 刘帅;施玉霞;孙永荣;;基于RBAC的车辆监控系统权限控制研究与实现[J];福建电脑;2006年01期
5 陈明忠;;基于角色访问控制模型的应用研究[J];电脑与电信;2007年05期
6 张徐;黄晓霞;;用户权限管理在MIS中的研究与实现[J];现代计算机(专业版);2008年05期
7 王媛媛;;浅议用户权限动态管理的实现[J];黑龙江科技信息;2008年23期
8 杜梅;曹蔚然;周传生;;基于RBAC的WEB环境下OA系统权限控制的研究[J];计算机应用与软件;2008年11期
9 周文斌;罗晋华;王晓燕;;Flash视频的权限保护与技术实现[J];硅谷;2009年01期
10 贾晓华;齐红博;;浅谈办公自动化系统在高等院校中的应用[J];太原科技;2009年05期
中国重要会议论文全文数据库 前10条
1 尹平;董玉德;;一种基于Delphi的巧妙权限控制方案及其实现方法[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
2 韦朝强;李言;李淑娟;肖继明;;基于ASP技术的用户管理系统[A];制造技术自动化学术会议论文集[C];2002年
3 田悦;张健;杨正球;;Struts框架下的Web系统的角色权限验证改进设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
4 梁民;郑龙;吴永成;;基于Optegra的舰船并行设计管理[A];'06MIS/S&A学术交流会论文集[C];2006年
5 叶蕴芳;杨榆;罗鑫;徐国爱;;Appfuse系统中细粒度权限控制的研究与实现[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
6 左春荣;陈福集;;操作员及其操作权限管理系统的设计与实现[A];计算机模拟与信息技术会议论文集[C];2001年
7 姜雪松;尉秀梅;王新刚;;基于J2EE的细粒度角色授权的权限控制的研究[A];促进企业信息化进程——第十届中国Java技术及应用大会文集[C];2007年
8 贾爱华;陈定方;;NET平台下基于RBAC模型的用户权限控制[A];湖北省机械工程学会设计与传动学会、武汉机械设计与传动学会2008年学术年会论文集(2)[C];2008年
9 沙瀛;;一种Internet内容安全管理系统[A];第二届全国信息检索与内容安全学术会议(NCIRCS-2005)论文集[C];2005年
10 周伟;刘丰;;装备维修管理信息系统[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(下册)[C];2010年
中国重要报纸全文数据库 前10条
1 ;方案篇[N];网络世界;2002年
2 周春燕;松藻煤电建立矿井通风智能管理系统[N];经理日报;2008年
3 ;趋势科技中小企业网络安全版3.6[N];中国计算机报;2007年
4 崔永蕾;警惕不合规放贷[N];金融时报;2007年
5 刘阳;电子会计信息系统的应用控制[N];财会信报;2006年
6 冯睿;商业智能:综合提升银行风险管理能力[N];金融时报;2005年
7 记者 郑启航;德称苹果系统存安全隐患[N];新华每日电讯;2011年
8 凌曼文;IT服务管理任重道远[N];中国计算机报;2005年
9 ;支撑多地业务协同[N];中国计算机报;2006年
10 陈圣腾 潘心冰;个人外汇管理办法实施中的难题[N];中国城乡金融报;2007年
中国博士学位论文全文数据库 前10条
1 王婷;面向授权管理的资源管理模型研究[D];解放军信息工程大学;2011年
2 赵庆松;安全操作系统的恶意代码防御技术的研究与实施[D];中国科学院研究生院(软件研究所);2002年
3 姬伟;面向业务的空间信息服务应用开发体系链[D];中国地质大学;2010年
4 林卉;行政权限研究[D];浙江大学;2011年
5 李金双;基于角色访问控制的管理模型和委托模型的研究[D];东北大学;2009年
6 徐杨;空间数据访问控制关键技术研究[D];解放军信息工程大学;2012年
7 崔广迪;矿产资源定量预测系统开发与应用[D];吉林大学;2013年
8 马晨华;面向协同工作环境的多层级访问控制模型研究及应用[D];浙江大学;2011年
9 周慧华;密钥建立协议及其云存储应用研究[D];华中科技大学;2012年
10 闫玺玺;开放网络环境下敏感数据安全与防泄密关键技术研究[D];北京邮电大学;2012年
中国硕士学位论文全文数据库 前10条
1 周罡;基于中小型企业的PDM权限控制管理的研究与开发[D];武汉理工大学;2005年
2 李德成;CRM呼叫中心系统设计与实现[D];北京交通大学;2008年
3 阎冰洁;基于B-B-C电子商务模式的研究与应用[D];武汉理工大学;2006年
4 孟志飞;基于URL访问权限控制的网络安全技术[D];华东师范大学;2007年
5 钟明娟;县级医院管理系统药品管理子系统的设计与实现[D];山东大学;2009年
6 唐权华;基于J2EE环境的流程安全系统研究与设计[D];西南交通大学;2005年
7 吕涛;基于J2EE架构的社保信息系统的开发[D];国防科学技术大学;2005年
8 曾令国;电子政务网上办公系统安全体系研究与应用[D];华东师范大学;2006年
9 姚永祥;基于XTM的政务知识导航系统的研究与实现[D];大连理工大学;2006年
10 马向辉;事业部制企业平行异构系统集成研究[D];合肥工业大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026