Search
Abstract
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.
Authors (3)
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Conference activity
- Type:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Title of issue:
- 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.
- Language:
- English
- Publication year:
- 2004
- Bibliographic description:
- 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,
- Verified by:
- Gdańsk University of Technology
seen 105 times