Proceedings of the 2005 ACM workshop on Formal methods in security engineering, FMSE 2005, Fairfax, VA, USA, November 11, 2005

It is our great pleasure to welcome you to the Third ACM Workshop on Formal Methods in Security Engineering (FMSE 2005) held in conjunction with the 12th 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, security-preserving 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.The paper selection process was very competitive this year. The call for papers attracted 22 submissions from Australia, Asia, Europe, New Zealand, and the United States. The program committee accepted 8 papers for presentation at the workshop, which means that many high-quality papers had to be rejected. In addition, the program includes invited talks by Virgil Gligor and Andrew Myers.