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