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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Journal of automated reasoning Ročník 46; číslo 3-4; s. 225 - 259
Hlavní autori:	Cortier, Véronique, Kremer, Steve, Warinschi, Bogdan
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Dordrecht Springer Netherlands 01.04.2011 Springer Nature B.V Springer Verlag
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!