An Extension Logic of Timed-Release Public Key Protocols Analysis
Hong Mei Fan · Chinese Journal of Computers · 2003
Timed release public key protocol can provide time dependent secrets by using public key cryptographic system through standard time provided by the trusted third party. The formal analysis of this kind of protocols needs special logic system which can reflect its properties. Coffey Saidha have proposed a logic system to formally analyze the timed release public key protocols, which is called CS logic. CS logic adds the time into logic structure, so it can be used to analyze the security of time dependent secrets of timed release public key cryptographic protocols. This paper presents an extension of CS logic which reflects the properties of timed release public key protocols better, and gives a good formal analysis of a concrete protocol.