Marcin Olszewski - Publikacje - MOST Wiedzy

mgr inż. Marcin Olszewski

Zatrudnienie

Brak danych

Słowa kluczowe Pomoc

Publikacje

wyników na stronę:
rok:
- zaznaczony Sortuj po rok od najnowszych
- Sortuj po rok od najstarszych
tytuł:
- zaznaczony Sortuj po tytuł A-Z
- Sortuj po tytuł Z-A
cytowania:
- Sortuj po cytowania malejąco
- Sortuj po cytowania rosnąco

Filtry

wszystkich: 1

Rok 2004

A model-based approach to analysis of authentication protocols.
Publikacja
- J. Górski
- M. Olszewski
- M. (. Olszewski
- Rok 2004
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 119 razy