Dolev-Yao threat model

The Dolev-Yao model represents an attacker that can overhear, intercept, and synthesise any message and is only limited by the constraints of the cryptographic methods used. In other words: "the attacker carries the message."

This omnipotence has been very difficult to model and most threat models simplify it, as, for example, the attacker in ubiquitous computing.

ee also

* Security
* Cryptographic protocol

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.