A model-based approach to analysis of authentication protocols. - Publikacja - MOST Wiedzy

Wyszukiwarka

A model-based approach to analysis of authentication protocols.

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.

Cytuj jako

Pełna treść

pełna treść publikacji nie jest dostępna w portalu

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 6 razy

Publikacje, które mogą cię zainteresować

Meta Tagi