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

Journal of Cryptology

Volumn 15, Issue 2, 2002, Pages 103-127

  Abadi, Martín ^a   Rogaway, Phillip ^b  

^a University of California Santa Cruz   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Key words. Cryptography, Encryption, Formal reasoning, Provable security, Soundness

Indexed keywords

COMPUTER APPLICATIONS;

COMPUTATIONAL MODEL; COMPUTATIONAL SOUNDNESS; FORMAL APPROACH; FORMAL ENCRYPTION; TWO VIEWS;

CRYPTOGRAPHY;

EID: 85083027758     PISSN: 09332790     EISSN: 14321378     Source Type: Journal    
DOI: 10.1007/s00145-001-0014-7     Document Type: Article

References (0)