DMCA

Abstraction by Set-Membership—Verifying Security Protocols and Web Services with Databases (2010)

by Sebastian A. Mödersheim
Venue:In 17th ACM Conference on Computer and Communications Security (CCS
Citations:14 - 1 self