一种时间相关的分析安全协议的扩展逻辑

Time-dependent extension logic of secure protocols

在对CS逻辑进行研究的基础上,提出了CS逻辑的扩展逻辑。该扩展逻辑对CS逻辑中存在的一些缺陷进行了修改和扩展,使其不仅可以分析公钥协议,还可以分析对称密钥协议。最后对一个协议实例进行了有效的形式化分析。

CS logic added the time into logic structure, so it could be used to analyze the security of time-dependent secrets of timed-release public key cryptographic protocols. An extension of CS logic was proposed in this paper, which corrected some defects of CS logic, and extended the logic to analyze the symmetrical key cryptographic protocols. Finally a good formal analysis of a concrete protocol was given.