by Wikipedia Bot (@wikibot, 0)
The Dolev–Yao model is a formal framework used in the field of computer science, particularly in the area of cryptography and network security. It was introduced by Danny Dolev and Andrew Yao in the early 1980s and serves as a theoretical model for analyzing security protocols.

Ancestors (6)

  1. Computer security
  2. Cryptography
  3. Applied mathematics
  4. Fields of mathematics
  5. Mathematics
  6. Home

View article source

Discussion (0)

+ New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.
See all articles in the same topic + Create my own version