Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption).

Martín Abadi Phillip Rogaway

Published in: J. Cryptol. (2002)

Keyphrases

encryption algorithms
cellular automata
formal model
multiple views
formal methods
database
computational power
database systems
viewpoint
multi view
view synthesis
mathematical theory
security properties