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

Research on dynamic expression of digital rights based on logic reasoning

作　　者：韩立龙[1] 刘清堂[1] 杨宗凯[1] 

机构地区：[1]华中师范大学教育信息技术工程研究中心信息技术系,武汉430079

出　　处：《计算机应用研究》2009年第5期1888-1890,共3页Application Research of Computers

基　　金：国家自然科学基金资助项目(60673010);湖北省自然科学基金计划资助项目(2006ABC011);国家"十一五"科技支撑计划重大资助项目(2006BAH02A24)

摘　　要：使用过程中数字权利的动态描述一直都是DRM应用系统研究的热点。提出一种基于逻辑推理的数字权利动态描述模型,在定义好该模型的基本要素以后,利用逻辑推理工具Prolog深入探讨和分析该模型中数字证书逻辑推理过程,并给出了相应的应用实例。At all times, dynamic expression of digital rights during the usage is always the focus in DRM. This paper demonstrated a kind of model in dynamic expression of digital rights based logic reasoning. After defining the relcvent essential elements of this model, it deeply explored and analyzed logic reasoning process of the digital certificate in this model with Prolog. Finally,presented a pertinent application example.

关 键 词：逻辑推理 多集 规则 动态描述 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]