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ženo v:

Podrobná bibliografie
Vydáno v:	Journal of automated reasoning Ročník 46; číslo 3-4; s. 225 - 259
Hlavní autoři:	Cortier, Véronique, Kremer, Steve, Warinschi, Bogdan
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Dordrecht Springer Netherlands 01.04.2011 Springer Nature B.V Springer Verlag
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!