Skip to main content

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