Vivek Haldar, Christian H. Stork, Michael Franz. The source is the proof. In Cristina Serban, Carla Marceau, Simon N. Foley, editors, Proceedings of the 2002 Workshop on New Security Paradigms, Virginia Beach, VA, USA, September 23-26, 2002. pages 69-73, ACM, 2002. [doi]
Abstract is missing.