- Tytuł:
- On some specification languages of cryptographic protocols
- Autorzy:
-
Dudek, P.
Kurkowski, M. - Data publikacji:
- 2010
- Słowa kluczowe:
-
cryptographic protocol
HLPSL language
VerICS system
protokół kryptograficzny
język HLPSL
system VerICS - Pokaż więcej
- Dostawca treści:
- BazTech