Title:
Automatic detection of DoS vulnerabilities of cryptographic protocols
Creator:
Krawczyk, Urszula ; Sapiecha, Piotr
Description:
Publisher:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Place of publication:
Contributor:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Date:
Type:
Format:
Language:
Relation:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 12,4 (2012)