- Tytuł:
- Using probabilistic automata for security protocols verification
- Autorzy:
-
Siedlecka-Lamch, O.
Kurkowski, M.
Piątkowski, J. - Data publikacji:
- 2016
- Słowa kluczowe:
-
verification of security protocols
probabilistic methods
weryfikacja protokołów bezpieczeństwa
metody probabilistyczne
protokoły uwierzytelniania - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł