Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003

This volume contains the proceedings of the first ACM Workshop on Formal Methods in Security Engineering (FMSE 2003) held in Washington D.C., October 30th, in conjunction with the 10th ACM Conference on Computer and Communications Security. The purpose of FMSE is to bring together researchers and practitioners from both the security and the software engineering communities, from academia and industry, who are working on applying formal methods to designing and validating large-scale security-critical systems. The scope of the workshop covers security and formal-methods related aspects of: security specification techniques, formal trust models, combination of formal techniques with semi-formal techniques like UML, formal analyses of specific security properties relevant to software development, securitypreserving composition and refinement of processes, faithful abstractions of cryptographic primitives and protocols in process abstractions, integration of formal security specifications, as well as refinement and validation techniques in development methods and tools. We accepted 8 papers for presentation at the workshop. Furthermore, there was an invited talk by Iliano Cervesato as well as a panel on Relating Cryptography and Formal Methods by Catherine Meadows, John C. Mitchell, and Birgit Pfitzmann.