The Analysis Of Security Protocol

With the development of network, the security of network and information is important day by day, and focued by us. Security Protocol is based on cryptographic which supplies security service for network system. The analysis of security protocol covers its Security, Integrity, Not-Denied, Fairness and so on. Currently it has been the absolutely necessary components of the security of network and information.The main work of this thesis is the analysis of security protocol. The demand loading code protocol under active network has been analysised, a new security protocol based on hash function is proposed, and proved its security by Spi model. A new OPT protocol is propsed, and its effective and security has been improved. TMN protocol is authenticatied by strand space, two new TMN protocol are proposed.The content of thesis is as follows, at first a new demand loading protocol under active network is proposed, we use Spi model to prove its security. Then a new OPT protocol which resolves the security problem is proposed; TMN is proved in strand space model, and two new protocols are proposed which improve its effective.