项重写理论研究及应用
项重写是一个应用于信息安全领域的基础理论,是计算机科学理论的一个分支.本文首先介绍了项重写理论的相关概念,并从重写实质上对该理论进行简要的分析,阐明了终止和会聚等重要性质及其完备化;其次提出一种新的在信息安全中的应用,即给出一个解决安全协议形式化分析中攻击者推演的代数属性问题的新方法,该方法采用划分代数等式集的思想,适用于目前大多数安全协议针对代数属性类型攻击的检测.
计算机技术 信息安全 项重写理论 安全协议
陈晨 陈卫红
郑州信息工程大学
国内会议
敦煌
中文
317-321
2009-09-01（万方平台首次上网日期，不代表论文的发表时间）