A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and probability. This approach captures a strong notion of security, guaranteed against all probabilistic polynomial-time at...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of automated reasoning Jg. 46; H. 3-4; S. 225 - 259
Hauptverfasser:	Cortier, Véronique, Kremer, Steve, Warinschi, Bogdan
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Dordrecht Springer Netherlands 01.04.2011 Springer Nature B.V Springer Verlag
Schlagworte:	Artificial Intelligence Automated reasoning Black boxes Computation Computer Science Cryptography Cryptography and Security Mathematical Logic and Formal Languages Mathematical Logic and Foundations Probabilistic methods Probability theory Security Symbolic and Algebraic Manipulation Systems analysis Computational analysis Security protocol Cryptography Symbolic methods security protocol symbolic methods cryptography computational analysis
ISSN:	0168-7433, 1573-0670
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!