Time-dependent extension logic of secure protocols
Zhao Huawei · Jisuanji gongcheng · 2005
CoffeySaidha have proposed a logic system to formally analyze the timed-release public key protocols,which was called CS logic.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.