Research On Formal Analysis Of Security Protocol Of Computer Communication Network

Analysis of security protocols has significance to assure secure communications between computer systems through networks. This dissertation focuses on the theory and the technique of the formal analysis of the security protocols. Following are the main results of this thesis: Introduce the basic conception, the significance, the evolvement and thestate of the cryptographic protocols analysis; expatiate on the classificationand the formal analysis methods of the cryptographic protocols. Introduce the formal verification of the two-party cryptographic protocols,use this approach to analyze the basic protocol of the security socketprotocol, and uncover the known weaknesses on this protocol. Combining with the theory of model checking, design the running-modeanalysis approach based on the three-party cryptographic protocols, andanalyze the TMN protocol using this approach. Use the running-mode analysis approach based on the three-partycryptographic protocols to analyze the TMN protocol, and classify theattacks on the TMN protocol.