The Cryptographic Abstract Machine


The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of the concrete cryptographic procedures employed, even of the abstraction level of the underlying model of cryptography. This is motivated both by a theoretical purpose of relating the dynamics of protocol executions at different levels of abstraction, and by a… (More)
DOI: 10.1007/978-3-540-24773-9_15

3 Figures and Tables


  • Presentations referencing similar topics