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

Author(s)

• ACM Workshop on Formal Methods in Security Engineering
• Küsters, Ralf
• Mitchell, John C.
• Association for Computing Machinery. Special Interest Group on Security, Audit, and Control
• ACM Conference on Computer and Communications Security

Bibliographic Information

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 Küsters & John Mitchell, editors ; sponsored by ACM Special Interest Group on Security, Audit & Control (SIGSAC)

ACM press, c2005

Other Title

Third ACM Workshop on Formal Methods in Security Engineering

FMSE 2005

Note

Includes bibliographical references and author index

ACM order number 100055

HTTP:URL=http://portal.acm.org/toc.cfm?id=1103576

Details

• NCID: BA86051304
• ISBN:
  • 1595932313
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: vi, 83 p.
• Size: 28 cm
• Subject Headings:
  • LCSH : Computer security -- Congresses
  • LCSH : Formal methods (Computer science) -- Congresses