Web Services Security: a preliminary study using Casper and FDR
A. W. Roscoe and E. Kleiner
Details
| Book Title |
Proceedings of Automated Reasoning for Security Protocol Analysis (ARSPA 04) |
| Year |
2004 |
Links
Related pages
|
People |