Privacy, abstract encryption and protocols: An ASM model. I. (English)
Börger, Egon (ed.) et al., Abstract state machines 2003. Advances in theory and practice. 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2589, 372-390 (2003).
Summary: We introduce an executable formal model of abstract encryption using the specification language AsmL, based on Abstract State Machines of Gurevich, providing a simple executable models for cryptographic protocols. We show strong universality properties of our descriptions of patterns, protocol roles and environment behaviors ‒ no ASM program can do better, given the same information.
Start
Contact
Print
General Help
