Knowledge Flow Analysis for Security Protocols

Simple item page
dc.creatorTorlak, Emina
dc.creatorvan Dijk, Marten
dc.creatorGassend, Blaise
dc.creatorJackson, Daniel
dc.creatorDevadas, Srinivas
dc.date2006-05-24
dc.date.accessioned2026-07-07T07:09:34Z
dc.date.available2026-07-07T07:09:34Z
dc.descriptionKnowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of knowledge amongst principals. Because this characterization corresponds closely to informal descriptions of protocols, it allows a succinct and natural formalization; because it abstracts away message ordering, and handles communications between principals and applications of cryptographic primitives uniformly, it is readily represented in a standard logic. A generic framework in the Alloy modelling language is presented, and instantiated for two standard protocols, and a new key management scheme.
dc.description20 pages
dc.identifierhttps://arxiv.org/abs/cs/0605109
dc.identifierhttp://arxiv.org/abs/cs/0605109
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/111111
dc.subjectCryptography and Security
dc.subjectSoftware Engineering
dc.titleKnowledge Flow Analysis for Security Protocols
dc.typetext

Files

Collections

arXiv