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

Search

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.

Cite as

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

seen 8 times

Recommended for you

Meta Tags