Search
Abstract
AutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów kryptograficznych. Omówiono proces tworzenia modelu protokołu, sposób przeprowadzenia analizy oraz zaprezentowano otrzymane wyniki. Wskazano przyczyny powstania wykrytego defektu protokołu.
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Articles
- Type:
- artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
- Published in:
-
Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne
no. T. 11,
pages 639 - 646,
ISSN: 1732-1166 - Language:
- Polish
- Publication year:
- 2006
- Bibliographic description:
- Cyra Ł., Olszewski M.: Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych// Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne. -Vol. T. 11., (2006), s.639-646
- Verified by:
- Gdańsk University of Technology
seen 46 times