|
Title:
|
Knowledge Flow Analysis for Security Protocols |
|
Author:
|
Torlak, Emina; van Dijk, Marten; Gassend, Blaise; Jackson, Daniel; Devadas, Srinivas |
|
Other Contributors:
|
Software Design |
|
Issue Date:
|
2005-10-19 |
|
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. |
|
URI:
|
http://hdl.handle.net/1721.1/30576
|
|
Other Identifiers:
|
MIT-CSAIL-TR-2005-066
MIT-LCS-TR-1007 |
|
Series/Report no.:
|
Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory |
