基于证书修改数字权限动态描述.docVIP

基于证书修改数字权限动态描述 　　 (华中师范大学 教育信息技术工程研究中心 信息技术系， 武汉 430079) 　　?? 　　摘要： 　　针对基于XML的权限描述语言（如XrML和ODRL）的本质缺陷，提出了一种基于证书修改的数字权限动态描述模型。在定义了该模型的相关基本要素后，深入探讨和分析了该模型的执行过程，并给出了一个应用模型。 　　?す丶?词：多集； 证书； 规则； 证书修改 　　?ぶ型挤掷嗪牛?TP309文献标志码：A 　　文章编号：1001?B3695(2009)03?B1071?B02 　　?? 　　Dynamic expression of digital rights by rewriting license 　　?? 　　HAN Lilong, LIU Qingtang, YANG Zongkai 　　?? 　　(Dept. of Information Technology, Engineering Research Center of Education Information Technology, Huazhong Normal University, Wuhan 430079, China) 　　?? 　　Abstract: 　　Because of the intrinsical flaw of XMLbased rights expression language such as XrML and ODRL, this paper demonstrated a kind of dynamic expression of digital rights by rewriting license. After defining the relevent essential elements of this model, it deeply explored and analyzed the execution flow. Finally, presented an application model. 　　??Key words：multiset; license; rules; license rewriting 　　?お? 　　数字权限管理(digital rights management)的核心是数字权限描述模型。目前，对数字权限的描述通常采用可互操作的权限描述语言(RELs)，即基于XML的XrML（extensible right markup language）和ODRL（open digital rights language）[1]。但是基于XML的RELs有其本质上的缺陷：a）当使用条件变复杂时其语法也变得复杂和模糊；b）缺乏形式语义，只能依赖语法和直观语义来描述权限证书,不能进行有效的逻辑推理；c）缺乏有效的动态数字权限的描述机制；d）不能描述相关的版权法规等。针对上述问题，国外学者Gunter等人[2]在数字权限的形式语义和逻辑推理方面均作了深入的研究。Gunter借用了程序语言语义技术来定义证书（license）的语义，认为一个证书的语义就是动作执行序列（trace）的集合，每个trace表示该证书允许的动作序列。一个正确的执行过程就是允许license定义的合法动作序列得到执行，而禁止其他序列执行。Pucella和Weissman则在Gunter的基础上，进一步尝试了采用一种称为“lic”的逻辑来推理数字权限。与Gunter一样，他们也认为license的意思为动作序列的集合。但是，将证书持有人的一次消费过程r解释为二元组（P，Q）。其中：P表示名字为n的license在t时刻给r指派的允许动作集合；Q表示名字为n的license在t时刻给r指派的必须执行动作集合,其逻辑本质上是一个时序逻辑。而在国内对数字权限动态描述的研究很少，其中东南大学计算机学院的孙伟等人[3，4]提出的两种数字权限动态描述模型均值得借鉴。本文参考荷兰Twente大学Chong等人[5]的LicenseScript项目，提出利用证书修改的方法来动态描述数字权限的模型。 　　1基本要素定义 　　1.1证书 　　证书是用来定义数字资源及其相关的使用条件。因此，证书至少包含两个相关的信息项，即被授权的数据和使用该数据的条件（图1）。 　　从图1中可以看出，证书被定义成一个多集，其表现形式为 lic(content,Δ,B)。其中：content为证书所指数字资源的统一标志符；Δ表示一系列的Prolog程序子句[6,7]，其定义了对数字资源所允许的特定操作。之所以选择Prolog程序子句，是因为Prolog易读易懂，非常适合描述证书。B是一组绑定数据包，存储