一种可扩展的数字权限表达语言的形式化建模及分析

摘要：

为更清晰、精确表达DRM(digital right management)中权限这一关键问题,本文提出了一种可扩展的数字权限表达语言(EDREL:Extended Digital Right Expression Language)模型,并利用形式化方法(OTS/CafeOBJ建模方法),对该模型进行了形式化的建模与许可证性质分析.与现有研究相比,本文提出的模型及方法,在解决权限的准确、无二义性表达的同时,还加入了对授权方和被授权方发生权限纠纷时执行轨迹的判断与回溯的考虑以及权限的二次发布的描述,能更好地满足DRM系统中全面和精确地描述各种权限的需求.

关键词：数字版权管理、权限表达语言、形式化方法、形式化建模分析、OTS/CafeOBJ方法

所属期刊栏目：59

分类号：TP391(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目91118003

在线出版日期：2013-04-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：93-98