Introduction - If you have any usage issues, please Google them yourself
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.
Packet : 47651461strand.rar filelist
Strand.pdf