Abstraction by set-membership: verifying security protocols and web services with databases (2010)

by S Mödersheim
Venue:in Proc. 17th ACM Conference on Computer and Communications Security (CCS). ACM