基于逻辑推理的数字权利动态描述研究

使用过程中数字权利的动态描述一直都是DRM应用系统研究的热点。提出一种基于逻辑推理的数字权利动态描述模型,在定义好该模型的基本要素以后,利用逻辑推理工具Prolog深入探讨和分析该模型中数字证书逻辑推理过程,并给出了相应的应用实例。

一种数字权利动态跃迁模型研究

针对目前数字权利难以动态描述的现状,提出了一种基于逻辑推理的数字权利动态跃迁模型。在定义好逻辑推理相关的基本要素后,分析了该跃迁模型的逻辑推理机制以及动态推理过程。最后深入地讨论了该跃迁模型中的各种可能表现形式,并给出了相应的应用模式。

基于逻辑证书的数字权利动态描述模型研究

数字权利的动态描述一直都是DRM应用系统研究的热点。提出了一种基于逻辑证书的数字权利的动态描述模型。在定义好相关的逻辑证书和逻辑规则后,利用逻辑推理的方法深入探讨和分析该模型中数字证书逻辑推理过程,通过逻辑推理的方法实现数字权利的动态描述。最后通过简单实例,验证了该方法的可行性。

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

针对基于XML的权限描述语言(如XrML和ODRL)的本质缺陷,提出了一种基于证书修改的数字权限动态描述模型。在定义了该模型的相关基本要素后,深入探讨和分析了该模型的执行过程,并给出了一个应用模型。