Infoscience
The 6th ACM Workshop on Formal Methods in Security Engineering
October 27, 2008
Alexandria, VA