Proceedings of the ... ACM Workshop on Formal Methods in Security Engineering / (Association for Computing Machinery, 2003)