APA

15th ACM Conference on Computer and Communications Security 2008, Association for Computing Machinery & ACM Special Interest Group on Security A. a. C. (2008). Proceedings of the 6th ACM workshop on Formal methods in security engineering. New York, NY: ACM.

Chicago

15th ACM Conference on Computer and Communications Security 2008, Association for Computing Machinery and ACM Special Interest Group on Security Audit and Control. 2008. Proceedings of the 6th ACM workshop on Formal methods in security engineering. New York, NY: ACM.

Harvard

15th ACM Conference on Computer and Communications Security 2008, Association for Computing Machinery and ACM Special Interest Group on Security A. a. C. (2008). Proceedings of the 6th ACM workshop on Formal methods in security engineering. New York, NY: ACM.

MLA

15th ACM Conference on Computer and Communications Security 2008, Association for Computing Machinery and ACM Special Interest Group on Security Audit and Control. Proceedings of the 6th ACM workshop on Formal methods in security engineering. New York, NY: ACM. 2008.