- Tytuł:
- Trivializing verification of cryptographic protocols
- Autorzy:
-
Piątkowski, Jacek
Szymoniak, Sabina - Data publikacji:
- 2023
- Słowa kluczowe:
-
security protocol verification
tree visualisation
hierarchical data structure
weryfikacja protokołu bezpieczeństwa
wizualizacja drzewa
hierarchiczna struktura danych - Pokaż więcej
- Dostawca treści:
- BazTech