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

第26卷第 12期 计 算 机 应 用 研 究 Vo1．26No．12 2009年 12月 ApplicationResearchofComputers Del3．2009 一 种数字权利动态跃迁模型研究 韩立龙 ，刘清堂 ，杨宗凯。 (1．武汉大学 教育科学学院，武汉 430072；2．华中师范大学 教育信息技术工程研究中心 信息技术系，武汉 430079) 摘 要：针对 目前数字权利难以动态描述的现状，提出了一种基于逻辑推理的数字权利动态跃迁模型。在定义 好逻辑推理相关的基本要素后 ，分析 了该跃迁模型的逻辑推理机制以及动态推理过程 。最后深入地讨论了该跃 迁模型中的各种可能表现形式，并给出了相应的应用模式。 关键词 ：数字证书；数字权利动态描述；逻辑；动态跃迁 中图分类号：TP309．2 文献标志码 ：A 文章编号：1001—3695(2009)12·4740—04 doi：10．3