Time-dependent extension logic of secure protocols
一种时间相关的分析安全协议的扩展逻辑

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.