mgr inż. Marcin Olszewski
Zatrudnienie
Słowa kluczowe Pomoc
Kontakt dla biznesu
Centrum Transferu Wiedzy i Technologii
- Lokalizacja
- Al. Zwycięstwa 27, 80-219 Gdańsk
- Telefon
- +48 58 348 62 62
- biznes@pg.edu.pl
Kontakt
- Brak danych
Wybrane publikacje
-
A model-based approach to analysis of authentication protocols.
W 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 353 razy