mgr inż. Marcin Olszewski
Employment
Business contact
Centrum Transferu Wiedzy i Technologii
- Location
- Al. Zwycięstwa 27, 80-219 Gdańsk
- Phone
- +48 58 348 62 62
- biznes@pg.edu.pl
Contact
- No data
Publication showcase
-
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ń...
seen 353 times