Artykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz katalog wzorców analitycznych. Podejście obiektowe pozwala stawić czoła problemom złożoności typowym dla dziedziny analizy protokołów a także dla metod formalnych w ogólności. Proponowane środowisko zostało z powodzeniem zastosowane do analizy skomplikowanego protokołu do składania podpisów cyfrowych w środowisku rozproszonym.
Autorzy
- Marcin (009) Olszewski
Informacje dodatkowe
- Kategoria
- Aktywność konferencyjna
- Typ
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Język
- angielski
- Rok wydania
- 2005
Źródło danych: MOSTWiedzy.pl - publikacja "A model-based approach to analysis of security protocols - a case study" link otwiera się w nowej karcie
