Strand Spaces: Proving Security Protocols Correct (1999)
by
F. Javier Thayer Fabrega
,
F. Javier
,
Jonathan C. Herzog
,
Joshua D. Guttman
| Citations: | 80 - 6 self |
BibTeX
@MISC{Fabrega99strandspaces:,
author = {F. Javier Thayer Fabrega and F. Javier and Jonathan C. Herzog and Joshua D. Guttman},
title = {Strand Spaces: Proving Security Protocols Correct},
year = {1999}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A strand is a sequence of events; it represents either an execution by a legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a collection of strands, equipped with a graph structure generated by causal interaction. In this framework, protocol correctness claims may be expressed in terms of the connections between strands of different kinds.
