Knowledge Flow Analysis for Security Protocols
Cryptography and Security
2007-05-23 v1 Software Engineering
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.
Cite
@article{arxiv.cs/0605109,
title = {Knowledge Flow Analysis for Security Protocols},
author = {Emina Torlak and Marten van Dijk and Blaise Gassend and Daniel Jackson and Srinivas Devadas},
journal= {arXiv preprint arXiv:cs/0605109},
year = {2007}
}
Comments
20 pages