Proc. 3rd ACM Workshop on Formal Methods in Security Engineering, Fairfax, USA (FMSE 2005), pp. 43-52
January 31, 2005
A. Chaudhuri, M. Abadi