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

权利描述语言用来构造许可证,描述数字内容的使用权利.鉴于现存的权利描述语言存在表达力不足、缺乏正式语义等问题,提出一种基于逻辑框架的数字版权管理语言LucScript.对该语言框架的逻辑语义、语法和触发运行机制进行了分析和说明,描述了该语言的实现方法,并对该语言的应用和使用控制过程进行了示例.该语言基于统一的具有单一稳态结构的Active-U-Datalog语义,具有比现存权限描述语言更强的表达力和灵活性.LucScript语言可有效地提高DRM系统对数据内容使用的灵活性和实时控制能力.

一种面向DRM的责任授权模型及其实施框架

针对现有的DRM(digital rights management)机制缺乏真正的责任描述和实施能力问题,提出一种应用于DRM的责任授权模型及其实施框架.该模型基于分布式时态逻辑和Active-U-Datalog语法规则,具有表达事件驱动、时间驱动和责任补偿等各类责任授权的语义能力,并具有良好的可实施性.对该模型的语法语义进行了分析和说明,描述了责任实施机制,并对该模型的实现、应用和表达力进行了说明和示例.该模型提高了DRM系统对数据使用控制的灵活性和能力.

ODRL权利描述语言逻辑实施机制研究

针对缺乏正式语义使基于XML的ODRL等权利描述语言的确切含义依赖应用程序的特定理解、易产生二义性和不确定性等问题,将ODRL语言转换成一种基于逻辑的权利描述语言,为ODRL语言提供了正式语义和策略实施的逻辑框架,为ODRL语言实施提供可信和形式化分析基础。在ODRL规范基础上对转换方法进行了说明和示例,最后描述了实施平台。

基于动态逻辑许可证的PDF版权管理系统

电子文档版权管理是数字版权管理的重要研究领域,提出一种PDF电子文档版权保护方案,该方案的权限管理基于一种具有强大表达力、灵活性和开放权限管理能力的动态逻辑许可证,具有详细的文档权限控制方法,并通过内容级的PDF文档加密方法增强文档的安全性。对系统模型、实现结构和方法进行说明,并与相关方法进行对比和应用示例。

应用于数字内容使用控制的支付模型研究

现有的电子支付模型应用在数字权利管理领域,存在操作不便,需要银行电子体系配合,难以满足数字内容脱机实时支付等要求的问题。提出一种能满足数字内容使用控制的支付模型。该模型不需要专用设备,能实现脱机情况下基于数字内容使用控制的实时支付模型,并能灵活地表达各类数字内容付费策略。对该模型的体系、支付协议及其安全性做了说明,进行了应用示例,并与相关方法进行了对比。

Datalog逻辑程序调用语义及其应用研究

提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。

面向数字权利保护的许可证管理方案及应用

提出一种数字权利管理模型,该模型的权利描述语言和许可证管理语言均采用一种基于逻辑框架的语言LucScript,使数字权利描述和许可证管理具有统一的逻辑语义。该模型采用逻辑许可池的方式管理许可证,对比现存方法,在许可证更新和增量更新,权利迁移灵活性和方便性,使用支付模式,合理使用权限等方面都具有优势。对该模型的管理和运行机制进行了分析和说明,最后给出了该模型的应用方法,并将该模型与相关的数字权利管理模型进行了对比。

基于用户控制的数字内容权利保护和迁移模型

提出一种基于用户控制的数字内容权利保护和迁移机制,并提出该机制的协议模型,说明协议的安全性和可行性。该机制的权利迁移模型可由客户端执行,不需要额外的网络连接和服务器的在线控制,并可由用户自主控制迁移的执行,保障了用户隐私和迁移的方便性。该模型将许可证与设备标识绑定的方法也具有灵活的硬件适应性,能表达复杂的硬件适应性策略,平衡硬件设备变更和版权保护需要。

面向多级关系数据库的RBAC扩展模型

提出了一种角色访问控制扩展模型,该模型在标准RBAC体系中引入分级策略,通过扩展读写规则和授权限制消除了RBAC中向下的信息流,并通过范围分离和会话密级等语义保留了标准RBAC的灵活性和表达力。该模型可应用在众多既需要控制信息流动的强制存取控制又需要有角色存取机制灵活性的系统中。在给出模型的形式化定义后,对模型的实现规则、访问策略、权限分配管理、在多级关系数据库中的实现机制及模型的BNF范式以及具体应用做了说明。

一种数字内容借(租)阅模型及其实现框架

提出了一种数字内容借(租)阅模型及其实施框架。该模型可实现数字内容的传统借(租)阅模型,也易于产生新的数字内容使用模型,具有较强的灵活性。模型的主要协议及其功能由许可证规则实现,易于借阅策略的更新修改,也使客户端软件代码精简短小,易于高可信验证。说明和示例了模型的协议、实施机制和实施方法,并与相关方法进行了对比。