Sebastian Mödersheim. Abstraction by set-membership: verifying security protocols and web services with databases. In Ehab Al-Shaer, Angelos D. Keromytis, Vitaly Shmatikov, editors, Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010. pages 351-360, ACM, 2010. [doi]
Abstract is missing.