Automatic detection of DoS vulnerabilities of cryptographic protocols

Szczegóły
Opis

Tytuł:: Automatic detection of DoS vulnerabilities of cryptographic protocols
Autorzy:: Krawczyk, U.
Sapiecha, P.
Powiązania:: https://bibliotekanauki.pl/articles/106293.pdf
Data publikacji:: 2012
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:: automatic detection
DoS
denial of service attacks
Petri net
SPIN model checker
Źródło:: Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2012, 12, 4; 51-67
1732-1360
2083-3628
Język:: angielski
Prawa:: CC BY: Creative Commons Uznanie autorstwa 4.0
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

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.

Informacja

Powiązane pozycje