Guo Jin-geng
Abstract
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.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.
Key concepts: Computer science, Protocol (science), Cryptographic protocol, Cryptography, Security analysis, Computer security, Wide Mouth Frog protocol, Formal methods