- Tytuł:
- Using probabilistic automata for security protocols verification
- Autorzy:
-
Siedlecka-Lamch, O.
Kurkowski, M.
Piątkowski, J. - Data publikacji:
- 2016
- Wydawca:
- Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
- Tematy:
-
verification of security protocols
probabilistic methods
weryfikacja protokołów bezpieczeństwa
metody probabilistyczne
protokoły uwierzytelniania - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł