Kriptográfiai protokollok a formális vizsgálata a CSN logikai rendszer bővítésével

Absztrakt
Leírás
Kulcsszavak
kriptográfiai protokollok, cryptographic protocols, CSN logikai rendszer, CSN-logic
Forrás