(2005). FMSE '05: Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering : November 11, 2005, Fairfax, Virginia, USA : co-located with CCS 2005 / Ralf Kusters & John Mitchell, editors ; sponsored by ACM Special Interest Group on Security, Audit & Control (SIGSAC).
Cita Chicago (17th ed.)FMSE '05: Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering : November 11, 2005, Fairfax, Virginia, USA : Co-located with CCS 2005 / Ralf Kusters & John Mitchell, Editors ; Sponsored by ACM Special Interest Group on Security, Audit & Control (SIGSAC). 2005.
Cita MLA (9th ed.)FMSE '05: Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering : November 11, 2005, Fairfax, Virginia, USA : Co-located with CCS 2005 / Ralf Kusters & John Mitchell, Editors ; Sponsored by ACM Special Interest Group on Security, Audit & Control (SIGSAC). 2005.