Title: Fmse'03: Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering: Washington, DC, USA, October 30, 2003:
Subjects: Computer security, Congresses, Formal methods (Computer science)