![Zdjęcie profilowe: mgr inż. Marcin Olszewski](/assets/marcin-olszewski,47377-1/photo.png)
mgr inż. Marcin Olszewski
Zatrudnienie
Słowa kluczowe Pomoc
Publikacje
Filtry
wszystkich: 1
Katalog Publikacji
Rok 2004
-
A model-based approach to analysis of authentication protocols.
PublikacjaW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
wyświetlono 155 razy