Using SMV to Analyze the TMN Protocol
Dengguo Feng · Jisuanji gongcheng · 2005
This paper proposes a method to analyze cryptographic protocols using running-mode analysis of the three-party cryptographic protocols and SMV (a tool for checking finite state systems). To prove its feasibility, an example to analyze the TMN protocol using the proposed method is also demonstrated and 19 attacks are successfully discovered.