Symbolic model checking analysis for cryptographic protocol
Xiang Li · Jisuanji gongcheng · 2005
A method was given to analyze the cryptographic protocol using a model checker in theory. A concrete example was given using SMV kits. Results show that the method using symbol model checker can discover replay attacks upon some cryptographic protocols and is effective.