互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

基于逻辑推理的数字权利动态描述研究


□ 韩立龙 刘清堂 杨宗凯

   (华中师范大学 教育信息技术工程研究中心 信息技术系 武汉 430079)
  
  摘 要:使用过程中数字权利的动态描述一直都是DRM应用系统研究的热点。提出一种基于逻辑推理的数字权利动态描述模型,在定义好该模型的基本要素以后,利用逻辑推理工具Prolog深入探讨和分析该模型中数字证书逻辑推理过程,并给出了相应的应用实例。
  关键词:逻辑推理;多集;规则;动态描述
  中图分类号:TP309文献标志码:A
  文章编号:1001-3695(2009)05-1888-03
  
  Research on dynamic expression of digital rights based on logic reasoning
  HAN Lilong,LIU Qingtang,YANG Zongkai
  (Dept. of Information Technology Engineering Research Center of Education Information Technology Huazhong Normal University Wuhan 430079 China)
  Abstract:At all times dynamic expression of digital rights during the usage is always the focus in DRM. This paper demonstrated a kind of model in dynamic expression of digital rights based logic reasoning. After defining the relevent essential elements of this model it deeply explored and analyzed logic reasoning process of the digital certificate in this model with Prolog. Finally,presented a pertinent application example.
  Key words:logic reasoning; multiset; rules; dynamic expression
  
  0 引言
  
  数字权利描述技术与数字内容的安全性技术、使用控制技术 、数字内容合理使用技术、数字权利转移技术、可信执行技术并称为DRM系统的六大关键技术[1]。一直以来,数字权利描述均受到各国学者和机构的高度重视,而且还诞生了成熟的基于XML的数字权利描述语言,如XrML和ODRL。只是基于XML的权利描述语言存在不具备形式语义、不能进行逻辑推理、不能描述版权法规等诸多缺陷,只能对静态的数字权利进行描述。针对这些问题,国外学者Gunter和Pucella等人[2,3]希望在数字权利的动态描述领域取得突破,于是他们在数字权限的形式语义和逻辑推理方面都进行了深入的研究。Gunter借用了程序语言语义技术来定义证书(license)的语义,认为一个证书的语义就是动作执行序列(trace)的集合,每个trace表示该证书允许的动作序列。一个正确的执行过程就是允许证书定义的合法动作序列得到执行,而禁止其他序列执行。Pucella等人则在Gunter的基础上,进一步尝试了采用一种称为“lic”的逻辑来推理数字权限。总的来说,他们对数字权利的动态描述主要集中在两大主线: ......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017