Author: ACM Workshop on Formal Methods in Security Engineering (2004 Washington, D.C.)