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.