Web Services Security: a preliminary study using Casper and FDR
Автори: | Roscoe, A, Kleiner, E |
---|---|
Формат: | Conference item |
Опубліковано: |
2004
|
Схожі ресурси
Схожі ресурси
-
Analyzing a Library of Security Protocols using Casper and FDR
за авторством: Donovan, B, та інші
Опубліковано: (1999) -
FDR into The Cloud
за авторством: Gibson−Robinson, T, та інші
Опубліковано: (2014) -
On the Relationship Between Web Services Security and Traditional Protocols
за авторством: Kleiner, E, та інші
Опубліковано: (2006) -
On the relationship between Web Services Security and traditional protocols
за авторством: Roscoe, A, та інші
Опубліковано: (2005) -
Verifying Statemate Statecharts Using CSP and FDR
за авторством: Roscoe, A, та інші
Опубліковано: (2006)