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

作者：陈潇怡 何炎祥数字版权管理权限表达语言形式化方法形式化建模分析otscafeobj方法

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社