On the Specification of Secure Channels
Main Authors: | Dilloway, C, Lowe, G |
---|---|
Format: | Conference item |
Published: |
2007
|
Similar Items
-
On the specification and analysis of secure transport layers
by: Dilloway, C
Published: (2008) -
Specifying Secure Transport Layers
by: Dilloway, C, et al.
Published: (2008) -
Specifying secure transport layers
by: Dilloway, C, et al.
Published: (2008) -
Understanding Abstractions of Secure Channels
by: Kamil, A, et al.
Published: (2010) -
Specifying and Modelling Secure Channels in Strand Spaces
by: Kamil, A, et al.
Published: (2009)