Automatic detection of DoS vulnerabilities of cryptographic protocols
Urszula Krawczyk, Piotr Sapiecha · Annales Universitatis Mariae Curie-Sklodowska sectio AI – Informatica · 2012
In this article the subject of DoS vulnerabilities of cryptographic key establishment and authentication protocols is discussed. The system for computer-aided DoS protocol resistance analysis, which employs the Petri nets formalism and Spin model-checker, is presented.