Web Services Security: a preliminary study using Casper and FDR
Main Authors: | Roscoe, A, Kleiner, E |
---|---|
Format: | Conference item |
Published: |
2004
|
Similar Items
-
Analyzing a Library of Security Protocols using Casper and FDR
by: Donovan, B, et al.
Published: (1999) -
FDR into The Cloud
by: Gibson−Robinson, T, et al.
Published: (2014) -
On the Relationship Between Web Services Security and Traditional Protocols
by: Kleiner, E, et al.
Published: (2006) -
On the relationship between Web Services Security and traditional protocols
by: Roscoe, A, et al.
Published: (2005) -
Verifying Statemate Statecharts Using CSP and FDR
by: Roscoe, A, et al.
Published: (2006)