Improved Yahalom protocol analysis theory based on ideal and honest

With people become increasingly dependent on computer networks, people on the requirements of security protocols, which has been realized from the initial establishment of effective communication links to provide safe and reliable communications services now. The correctness of security protocols is very important to the Network Security. There are many security flaws and loopholes in the agreement, not because of the agreement resulting from the use of cryptographic algorithms, but caused by its own structure by the agreement. In this paper, the strand space model Yahalom protocol security for a more detailed analysis and algebra for the existence of defects Yahalom protocol proposes an improved scheme. Analysis indicates that the improvement program to meet the corresponding authentication protocol and confidentiality requirements.