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