Urszula Krawczyk, Piotr Sapiecha. Automatic detection of DoS vulnerabilities of cryptographic protocols. Annales UMCS, Informatica, 12(4):51-67, 2012. [doi]
@article{KrawczykS12-0, title = {Automatic detection of DoS vulnerabilities of cryptographic protocols}, author = {Urszula Krawczyk and Piotr Sapiecha}, year = {2012}, doi = {10.2478/v10065-012-0028-9}, url = {http://dx.doi.org/10.2478/v10065-012-0028-9}, researchr = {https://researchr.org/publication/KrawczykS12-0}, cites = {0}, citedby = {0}, journal = {Annales UMCS, Informatica}, volume = {12}, number = {4}, pages = {51-67}, }