Dolev-Yao model

Summary

Dolev-Yao model is a mathematical model^[1]. It draws 41 Wikipedia views per month (mathematical_model category, ranking #53 of 75).^[2]

Key Facts

• Dolev-Yao model's instance of is recorded as mathematical model^[3].
• Danny Dolev is named after Dolev-Yao model^[4].
• Andrew Yao is named after Dolev-Yao model^[5].
• Dolev-Yao model's Freebase ID is recorded as /m/0bb9fb^[6].
• Dolev-Yao model's Microsoft Academic ID is recorded as 2777994967^[7].

Body

Designation and Status

Dolev-Yao model's instance of is recorded as mathematical model^[3].

History and Context

Things named after include Danny Dolev^[4], a computer scientist^[8], b. 1950^[9], of Israel^[10], awarded the Dijkstra Prize^[11], specialised in computer science^[12] and Andrew Yao^[5], a computer scientist^[13], b. 1946^[14], of People's Republic of China^[15], awarded the Guggenheim Fellowship^[16], specialised in informatics^[17].

Why It Matters

Dolev-Yao model draws 41 Wikipedia views per month (mathematical_model category, ranking #53 of 75).^[2]