Abstract
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol is layered on top of a secure transport protocol. The model abstracts away from the implementation of the secure transport protocol and just captures the properties that it provides to the Application Layer. We illustrate the usefulness of the model by using it to verify a small single sign-on protocol. © 2010 Springer-Verlag.
Cite
CITATION STYLE
Kamil, A., & Lowe, G. (2010). Specifying and modelling secure channels in strand spaces. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5983 LNCS, pp. 233–247). https://doi.org/10.1007/978-3-642-12459-4_17
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
