Web Services Security: a preliminary study using Casper and FDR

Benzer Materyaller

• Analyzing a Library of Security Protocols using Casper and FDR
  Yazar:: Donovan, B, ve diğerleri
  Baskı/Yayın Bilgisi: (1999)
• FDR into The Cloud
  Yazar:: Gibson−Robinson, T, ve diğerleri
  Baskı/Yayın Bilgisi: (2014)
• On the Relationship Between Web Services Security and Traditional Protocols
  Yazar:: Kleiner, E, ve diğerleri
  Baskı/Yayın Bilgisi: (2006)
• On the relationship between Web Services Security and traditional protocols
  Yazar:: Roscoe, A, ve diğerleri
  Baskı/Yayın Bilgisi: (2005)
• Verifying Statemate Statecharts Using CSP and FDR
  Yazar:: Roscoe, A, ve diğerleri
  Baskı/Yayın Bilgisi: (2006)