LCS Publication Details
Publication Title: Knowledge Flow Analysis for Security Protocols
Publication Author: Torlak, Emina
Additional Authors: Marten van Dijk, Blaise Gassend, Daniel Jackson, Srinivas Devadas
LCS Document Number: MIT-LCS-TR-1007
Publication Date: 10-19-2005
LCS Group: Software Design
Additional URL:
Abstract:
Knowledge 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.
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.