The analysis and the modification of the CS logic
Li Li · Journal of Shandong University · 2006
Compared with the existed analysis tools BAN and BAN-like,the CS Logic is a logic that combining time and logic structure.It is the first logic to be used to analyse Timed-release Cryptographic protocols that related to time.Some defects of the inference rules in former CS logic were analysed,modified and expanded to reflect the characters of Timed-release cryptographic protocols better.And finally,a specific Timed-release cryptographic protocol was analysed effectively by using these improved inference rules.