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ń bezpieczeństwa. Modele obiektowe tworzone są w ramach OF-APSAF przy użyciu języka Unified Modelling Language (UML) i katalogu wzorców analitycznych. Użycie technik modelowania obiektowego jest próbą okiełznania praktycznych problemów, jakie napotyka się przy próbach formalizacji złożonych protokołów kryptograficznych.
Autorzy
Informacje dodatkowe
- Kategoria
- Aktywność konferencyjna
- Typ
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Język
- angielski
- Rok wydania
- 2004
Źródło danych: MOSTWiedzy.pl - publikacja "A model-based approach to analysis of authentication protocols." link otwiera się w nowej karcie
