A model-based approach to analysis of authentication protocols. - Publication - Bridge of Knowledge

Search

A model-based approach to analysis of authentication protocols.

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.

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 108 times

Recommended for you

Meta Tags