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
Additional information
- Category
- Aktywność konferencyjna
- Type
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Language
- angielski
- Publication year
- 2004
