Description: the Strand space model to prove the safety of a new agreement ideas, Key it from the concept of security, based on the ideal reference to the concept of proof, and obtain certification preparation conclusions, so secret agreement on the attributes and authentication attributes proved. It also gives an address Yahalom. BAN agreement safety of examples, One can see it very suitable for the use of symmetric encryption system and has key distribution function of the tripartite agreement proved certification , which also makes the certification process simple and intuitive.
To Search:
File list (Check if you may need any files):
Download