Fundamental problems in provable security and cryptography

Fundamental problems in provable security and cryptography

This paper examines methods for formally proving the security of cryptographic schemes. We show that, despite many years of active research and dozens of significant results, there are fundamental problems which have yet to be solved. We also present a new approach to one of the more controversial a...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences physical, and engineering sciences, 2006-12, Vol.364 (1849), p.3215-3230
1. Verfasser: Dent, Alexander W
Format: Artikel
Sprache:eng
Schlagworte:
Ciphers
Ciphertexts
Coding and Cryptography
Cryptography
Cryptosystems
Cybersecurity
Data security
Digital signatures
Mathematical functions
Modeling
Oracles
Provable Security
Random Oracle Model
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper examines methods for formally proving the security of cryptographic schemes. We show that, despite many years of active research and dozens of significant results, there are fundamental problems which have yet to be solved. We also present a new approach to one of the more controversial aspects of provable security, the random oracle model.
ISSN:1364-503X
1471-2962
DOI:10.1098/rsta.2006.1895