A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols

Simple item page
dc.creatorvan Dijk, Marten
dc.creatorTorlak, Emina
dc.creatorGassend, Blaise
dc.creatorDevadas, Srinivas
dc.date2006-05-22
dc.date.accessioned2026-07-07T07:09:33Z
dc.date.available2026-07-07T07:09:33Z
dc.descriptionWe introduce knowledge flow analysis, a simple and flexible formalism for checking cryptographic protocols. Knowledge flows provide a uniform language for expressing the actions of principals, assump- tions about intruders, and the properties of cryptographic primitives. Our approach enables a generalized two-phase analysis: we extend the two-phase theory by identifying the necessary and sufficient proper- ties of a broad class of cryptographic primitives for which the theory holds. We also contribute a library of standard primitives and show that they satisfy our criteria.
dc.description16 pages
dc.identifierhttps://arxiv.org/abs/cs/0605097
dc.identifierhttp://arxiv.org/abs/cs/0605097
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/111107
dc.subjectCryptography and Security
dc.titleA Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols
dc.typetext

Files

Collections

arXiv