The Cryptographic Abstract Machine

Abstract

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

Topics

  • Presentations referencing similar topics