Strand spaces: proving security protocols correct

1 April 1999

journal article
Published by SAGE Publications in Journal of Computer Security

Vol. 7 (2-3) , 191-230
https://doi.org/10.3233/jcs-1999-72-304

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 ca

Keywords

STRUCTURE
STRAND SPACES
PROVING SECURITY
SECURITY PROTOCOLS
PENETRATOR
PARTY
GRAPH
LEGITIMATE
EXECUTION

This publication has 0 references indexed in Scilit: