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.
Autorzy
- Łukasz Cyra link otwiera się w nowej karcie ,
- Marcin (009) Olszewski
Informacje dodatkowe
- Kategoria
- Publikacja w czasopiśmie
- Typ
- artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
- Język
- polski
- Rok wydania
- 2006
Źródło danych: MOSTWiedzy.pl - publikacja "Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych" link otwiera się w nowej karcie
