Automatic detection of DoS vulnerabilities of cryptographic protocols - Krawczyk, Urszula; Sapiecha, Piotr (Wydaw. Uniwersytetu Marii Curie-Skłodowskiej)