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,903rd place
3,632nd place
2nd place
2nd place
11th place
8th place
1,031st place
879th place
3rd place
3rd place
1,734th place
1,312th place
207th place
136th place

archives-ouvertes.fr

hal.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

books.google.com

core.ac.uk

doi.org

  • 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

huji.ac.il

cs.huji.ac.il

  • 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

psu.edu

citeseerx.ist.psu.edu

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

semanticscholar.org

api.semanticscholar.org

  • 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