BAN Logic Analysis of SSL 3.0 Protocol
Guo Jin-geng · Jisuanji gongcheng · 2001
More and more formal analysis of cryptographic protocol become a new direction of cryptograph , as formal methods can be useful to detect errors in security protocols. BAN logic has been by far the most widely used. In this paper we discuss BAN logic and the SSL3.0 protocol. And we discrible a process of analysis of SSL3.0 protocol using BAN logic.