Proceedings of the 2004 ACM workshop on Formal methods in security engineering