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

• 作者: 刘清堂 杨宗凯 韩立龙
• 来源期刊: 计算机应用研究
• 关键词: 逻辑推理 多集 规则 动态描述
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 信息安全技术
• 页码范围: 1888-1890
• 页数: 3页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.05.082

摘要

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