A model-based approach to analysis of security protocols - a case study

Marcin (009) Olszewski

A model-based approach to analysis of security protocols - a case study

Abstract

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.

Author (1)

Marcin (009) Olszewski

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:: TEHOSS 2005 : IEEE International Conference on Technologies for Homeland Security and Safety : proceedings : Gdańsk, Poland, September 28-30, 2005 / ed. A. Stepnowski : co-ed. A. Ruciński, K. Kosmowski. - Gdańsk : Gdańsk Univ. Technol. 2005. - S. 221-226 : 4 rys. - Bibliogr. 11 poz. - ISBN 83-917681-9-8Podejście do analizy protokołów bezpieczeństwa oparte na modelowaniu - studium przypadku.
Language:: English
Publication year:: 2005
Bibliographic description:: Olszewski M.: A model-based approach to analysis of security protocols - a case study// TEHOSS 2005 : IEEE International Conference on Technologies for Homeland Security and Safety : proceedings : Gdańsk, Poland, September 28-30, 2005 / ed. A. Stepnowski : co-ed. A. Ruciński, K. Kosmowski. - Gdańsk : Gdańsk Univ. Technol. 2005. - S. 221-226 : 4 rys. - Bibliogr. 11 poz. - ISBN 83-917681-9-8Podejście do analizy protokołów bezpieczeństwa oparte na modelowaniu - studium przypadku./ : , 2005,
Verified by:: Gdańsk University of Technology