Kriptográfiai protokollok a formális vizsgálata a CSN logikai rendszer bővítésével
Dátum
2010-06-25T07:46:16Z
Szerzők
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
kriptográfiai protokollok, cryptographic protocols, CSN logikai rendszer, CSN-logic