Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Automatic detection of DoS vulnerabilities of cryptographic protocols

Szczegóły
Abstrakt

Tytuł:: Automatic detection of DoS vulnerabilities of cryptographic protocols
Autorzy:: Krawczyk, U.
Sapiecha, P.
Data publikacji:: 2012
Słowa kluczowe:: automatic detection
DoS
denial of service attacks
Petri net
SPIN model checker
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła Pełny tekst

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.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Automatic detection of DoS vulnerabilities of cryptographic protocols