Web Services Security: a preliminary study using Casper and FDR

Ижил төстэй зүйлс

• 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)