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

Wyszukiwarka

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

Abstrakt

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.

Cytuj jako

Pełna treść

pełna treść publikacji nie jest dostępna w portalu

Informacje szczegółowe

Kategoria:
Aktywność konferencyjna
Typ:
publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
Tytuł wydania:
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.
Język:
angielski
Rok wydania:
2005
Opis bibliograficzny:
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,
Weryfikacja:
Politechnika Gdańska

wyświetlono 8 razy

Publikacje, które mogą cię zainteresować

Meta Tagi