- 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 - Opis:
- 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.
- Źródło:
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2012, 12, 4; 51-67
1732-1360
2083-3628 - Pojawia się w:
- Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
- Dostawca treści:
- Biblioteka Nauki
Artykuł