Vitaly Shmatikov Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008 FMSE ACM 2008 978-1-60558-288-7 db/conf/ccs/fmse2008.html