Wyszukiwarka
Abstrakt
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 (3)
Cytuj jako
Pełna treść
pełna treść publikacji nie jest dostępna w portalu
Słowa kluczowe
Informacje szczegółowe
- Kategoria:
- Aktywność konferencyjna
- Typ:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Tytuł wydania:
- Computer Information Systems and Applications. Eds: K.Saeed, R.Mosdorf, J.Pejaś, O.P.Himola, Z.Sosnowski, I. El Fray. Białystok: WSFiZ**2004 s. 229-269, 3 rys. bibliogr. 10 poz. Podejście do analizy protokołów uwierzytelniania oparte na modelowaniu.
- Język:
- angielski
- Rok wydania:
- 2004
- Opis bibliograficzny:
- Górski J., Olszewski M., Olszewski M.: A model-based approach to analysis of authentication protocols.// Computer Information Systems and Applications. Eds: K.Saeed, R.Mosdorf, J.Pejaś, O.P.Himola, Z.Sosnowski, I. El Fray. Białystok: WSFiZ**2004 s. 229-269, 3 rys. bibliogr. 10 poz. Podejście do analizy protokołów uwierzytelniania oparte na modelowaniu./ : , 2004,
- Weryfikacja:
- Politechnika Gdańska
wyświetlono 105 razy