Dolev–Yao model (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Dolev–Yao model" in English language version.

refsWebsite

Global rank English rank

3,903^rd place

3,632^nd place

2^nd place

11^th place

8^th place

1,031^st place

879^th place

3^rd place

1,734^th place

1,312^th place

207^th place

136^th place

archives-ouvertes.fr

Backes, Michael; Pfitzmann, Birgit; Waidner, Michael (2006), Soundness Limits of Dolev-Yao Models (PDF), Workshop on Formal and Computational Cryptography (FCC'06), affiliated with ICALP'06

Chen, Quingfeng; Zhang, Chengqi; Zhang, Shichao (2008), Secure Transaction Protocol Analysis: Models and Applications, Lecture Notes in Computer Science / Programming and Software Engineering, ISBN 9783540850731

Creese, Sadie; Goldsmith, Michael; Roscoe, Bill; Zakiuddin, Irfan (2003). The Attacker in Ubiquitous Computing Environments: Formalising the Threat Model (PDF). Proc. of the 1st Intl Workshop on Formal Aspects in Security and Trust (Technical report). pp. 83–97.

Dolev, D.; Yao, A. C. (1983), "On the security of public key protocols" (PDF), IEEE Transactions on Information Theory, IT-29 (2): 198–208, doi:10.1109/tit.1983.1056650, S2CID 13643880

Dolev, D.; Yao, A. C. (1983), "On the security of public key protocols" (PDF), IEEE Transactions on Information Theory, IT-29 (2): 198–208, doi:10.1109/tit.1983.1056650, S2CID 13643880

Herzog, Jonathan (2005), A Computational Interpretation of Dolev-Yao Adversaries, p. 2005, CiteSeerX 10.1.1.94.2941

Dolev, D.; Yao, A. C. (1983), "On the security of public key protocols" (PDF), IEEE Transactions on Information Theory, IT-29 (2): 198–208, doi:10.1109/tit.1983.1056650, S2CID 13643880