Web Services Security: a preliminary study using Casper and FDR
Hauptverfasser: | Roscoe, A, Kleiner, E |
---|---|
Format: | Conference item |
Veröffentlicht: |
2004
|
Ähnliche Einträge
Ähnliche Einträge
-
Analyzing a Library of Security Protocols using Casper and FDR
von: Donovan, B, et al.
Veröffentlicht: (1999) -
FDR into The Cloud
von: Gibson−Robinson, T, et al.
Veröffentlicht: (2014) -
On the Relationship Between Web Services Security and Traditional Protocols
von: Kleiner, E, et al.
Veröffentlicht: (2006) -
On the relationship between Web Services Security and traditional protocols
von: Roscoe, A, et al.
Veröffentlicht: (2005) -
Verifying Statemate Statecharts Using CSP and FDR
von: Roscoe, A, et al.
Veröffentlicht: (2006)