DMCA

Web services security: A preliminary study using Casper and FDR (2004)

by E. Kleiner , A. W. Roscoe
Venue:In Automated Reasoning for Security Protocol Analysis (ARSPA 04
Citations:12 - 1 self