Academic Journals Database
Disseminating quality controlled scientific knowledge

Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic

ADD TO MY LIST
 
Author(s): Jihong Han | Zhiyong Zhou | Yadi Wang

Journal: International Journal of Distributed Sensor Networks
ISSN 1550-1329

Volume: 5;
Issue: 1;
Start page: 14;
Date: 2009;
Original page

Tango Jona
Tangokurs Rapperswil-Jona

     Save time & money - Smart Internet Solutions