Author: ACM Workshop on Formal Methods in Security Engineering (3rd 2005 Fairfax, Va.)