Relating symbolic and cryptographic secrecy

We investigate the relation between symbolic and cryptographic secrecy properties for cryptographic protocols. Symbolic secrecy of payload messages or exchanged keys is arguably the most important notion of secrecy shown with automated proof tools. It means that an adversary restricted to symbolic o...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on dependable and secure computing 2005-04, Vol.2 (2), p.109-123
Hauptverfasser:	Backes, M., Pfitzmann, B.
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebra Automation Computational modeling Cryptographic protocols Cryptography Cybersecurity Dolev-Yao model Equations Humans Index Terms- Relations between models Joining processes Knowledge Libraries Payloads probabilistic computation-cryptography Protocol Public key secrecy Security management simulatability Studies
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!