一种基于逻辑框架的数字版权管理机制和实现  

A Digital Rights Management Mechanism and Implementation Based on Logic Framework

作　　者：钟勇[1,2,3] 张宏[2,4] 刘凤玉[2,4] 秦小麟[3] 

机构地区：[1]佛山科学技术学院信息与教育技术中心,广东佛山528000 [2]南京理工大学计算机科学与技术博士后流动站,南京210094 [3]南京航空航天大学信息安全研究所,南京210016 [4]南京理工大学计算机科学与技术学院,南京210094

出　　处：《计算机研究与发展》2010年第2期223-230,共8页Journal of Computer Research and Development

基　　金：广东省自然科学基金项目(8452800001001086);中国博士后科学基金项目(20070421015);江苏省博士后科研资助计划基金项目(0801045B);国家自然科学基金项目(60673127);国家"八六三"高技术研究发展计划基金项目(2007AA01Z404)~~

摘　　要：权利描述语言用来构造许可证,描述数字内容的使用权利.鉴于现存的权利描述语言存在表达力不足、缺乏正式语义等问题,提出一种基于逻辑框架的数字版权管理语言LucScript.对该语言框架的逻辑语义、语法和触发运行机制进行了分析和说明,描述了该语言的实现方法,并对该语言的应用和使用控制过程进行了示例.该语言基于统一的具有单一稳态结构的Active-U-Datalog语义,具有比现存权限描述语言更强的表达力和灵活性.LucScript语言可有效地提高DRM系统对数据内容使用的灵活性和实时控制能力.DRM technology is becoming one of the critical techniques to protect digital rights in the Internet. Rights expression languages （RELs） in DRM system are langugges devised to construct licenses and describe usage rights of digital content. Most of current rights expression languages are based on XML, which lack a formal semantics and when the conditions of user become complex, the syntax of the languages are complicated and obscure. Due to the problems, the rights expression language LucScript is presented, which is a language based on logical framework that owns logical advantages of expressiveness, flexibility and semantic integrity to XML-based languages. The logic semantic, syntax and triggering mechanism of the language framework are analyzed and explained. And the implementation mechanism of the language is discussed. Finally, the application and process of usage control of the language are exampled. The language is based on integral semantics of Active-U-Datalog that owns a unique stable model, which makes the language own more expressiveness and flexibility than other logic-based rights expression languages. A comparative analysis between LucScript and LicenseScript language which owns the most powerful expressiveness at the preseni time is also shown at the end of the paper. LucScript language can improve usage flexibility and capability of real-time control of digital content in DRM system effectively.

关 键 词：数字版权管理 权利描述语言 逻辑语言 datalog语言 使用控制 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]