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

？coffey和saidha提出的cs逻辑可以分析与时间相关的的公钥协议。〖bp）〗在对cs逻辑进行研究的基础上，提出了cs逻辑的扩展逻辑。该扩展逻辑对cs逻辑中存在的一些缺陷进行了修改和扩展，使其不仅可以分析公钥协议，还可以分析对称密钥协议。最后对一个协议实例进行了有效的形式化分析。