| Dolev-yao Threat Model |
Website Links For Threat |
Information AboutDolev-yao Threat Model |
|
SEE ALSO REFERENCES D. Dolev and A.C. Yao, On the security of public key protocols, Proceedings of the IEEE 22nd Annual Symposium on Foundations of Computer Science, pp. 350-357, 1981. |
|
|