基于扩展CS逻辑的非否认协议形式化分析方法

摘要：

将基于知识逻辑的CS逻辑系统用于分析具有时限性的非否认协议,针对非否认协议的性质对CS逻辑进行了扩展,给出了描述和分析非否认性以及公平性的方法,并使用扩展后的逻辑对改进的ZG协议进行了分析.在分析过程中,发现了该协议存在对签名的重放攻击漏洞,不满足强非否认性.验证过程也表明,扩展后的CS逻辑能够有效地描述和分析具有时限性的非否认协议的安全性质.

关键词：非否认协议、CS逻辑、时限性、非否认性、公平性

所属期刊栏目：37

分类号：TN9;TP3

资助基金：国家自然科学基金60673071

在线出版日期：2010-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：49-52,76