Wyniki wyszukiwania dla: AUTOFOCUS
Znaleźliśmy mało wyników, wypróbuj alternatywnej metody wyszukiwania.
Filtry
wszystkich: 1
Wyniki wyszukiwania dla: AUTOFOCUS
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublikacjaAutoFocus 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...