SG Logic Analysis of Otway-Rees Protocol Interleaving Attack
Zhengjun Cao · Jisuanji gongcheng · 2007
The security of network relies to a great extend on the security of cryptographic protocol, while interleaving attack and replaying attack are very common in everyday time, and there are little methods for analyzing this inaccuracies. This paper introduces a method for dealing with this problem, which is called SG logic. It shows the syntax and the semantic of SG logic in a great detail, finds the fault of Otway-Rees protocol, and gives a method to improve it. At last, it proves that the improved protocol is secure under the given attack.