- Tytuł:
- On some specification languages of cryptographic protocols
- Autorzy:
-
Dudek, P.
Kurkowski, M. - Data publikacji:
- 2010
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Tematy:
-
cryptographic protocol
HLPSL language
VerICS system
protokół kryptograficzny
język HLPSL
system VerICS - Dostawca treści:
- Biblioteka Nauki
Artykuł