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},
}