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.
Authors
- Łukasz Cyra link open in new tab ,
- Marcin (009) Olszewski
Additional information
- Category
- Publikacja w czasopiśmie
- Type
- artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
- Language
- polski
- Publication year
- 2006
