Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Web Services Security: a preliminary study using Casper and FDR

Web Services Security: a preliminary study using Casper and FDR

A. W. Roscoe and E. Kleiner

Book Title
Proceedings of Automated Reasoning for Security Protocol Analysis (ARSPA 04)
Year
2004

Links

See Also

Back to Top