The Cryptographic Abstract Machine (CROSBI ID 504410)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Rosenzweig, Dean ; Runje, Davor
engleski
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 practical purpose of enabling automatic generation of provably correct code implementing protocol roles from high level specifications. Here we define the CrAM and show how slightly refurbished message patterns of [RRS03] can be compiled to CrAM code both for analysis and for creation of messages, and prove the correctness and completeness of that compilation.
abstract encryption; ASM; AsmL; cryptographic protocols
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
202-217-x.
2004.
objavljeno
Podaci o matičnoj publikaciji
Zimmermann, Wolf ; Thalheim, Bernhard
Springer
Podaci o skupu
11th International Workshop, ASM 2004
predavanje
24.05.2004-28.05.2004
Wittenberg, Njemačka