APA (7th ed.) Citation

15th ACM Conference on Computer and Communications Security 2008, Association for Computing Machinery-Digital Library, & Shmatikov,Vitaly Contributor. (2008). Proceedings of the 6th Acm Workshop on Formal Methods in Security Engineering. Association for Computing Machinery.

Chicago Style (17th ed.) Citation

15th ACM Conference on Computer and Communications Security 2008, Association for Computing Machinery-Digital Library, and Shmatikov,Vitaly Contributor. Proceedings of the 6th Acm Workshop on Formal Methods in Security Engineering. [Place of publication not identified]: Association for Computing Machinery, 2008.

MLA (9th ed.) Citation

15th ACM Conference on Computer and Communications Security 2008, et al. Proceedings of the 6th Acm Workshop on Formal Methods in Security Engineering. Association for Computing Machinery, 2008.