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