Extending the Strand Space Model for Security Protocol Composition

Abstract

We extend the regular strand space model with specialized terms and we provide a message construction schema for security protocols, based on grammatical rules. Using the extended model, we present two security protocol specification models that are used by the authors in the sequential and parallel composition of security protocols.

1 Figure or Table

Cite this paper

@inproceedings{Bla2008ExtendingTS, title={Extending the Strand Space Model for Security Protocol Composition}, author={Genge B{\'e}la}, year={2008} }