Abstract Encryption and Protocols

Citation:	Dean Rosenzweig, Davor Runje, and Neva Slani, "Privacy, Abstract Encryption and Protocols: an ASM Model - Part I". In E. Börger, A. Gargantini, and E. Riccobene, eds., Abstract State Machines 2003. Advances in Theory and Practice, Springer LNCS 2589, 2003, 372-390.
Summary:	An executable formal model of abstract encryption is presented (using AsmL) and analyzed.
Subjects:	Protocols, Security, Verification
Download:	From Dean Rosenzweig's home page in PostScript, PDF, and Compressed PostScript.
Notes:

[an error occurred while processing this directive]

Abstract State Machines