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