4th ACM workshop on Formal Methods in Security Engineering, FMSE '06 : held in conjunction with the 13th ACM Conference on Comnputer Communications Security : October 30-November 3, 2006, Alexandria, Virginia, USA

Author(s)

• ACM Workshop on Formal Methods in Security Engineering
• ACM Conference on Computer and Communications Security
• Association for Computing Machinery. Special Interest Group on Security, Audit, and Control
• Association for Computing Machinery

Bibliographic Information

4th ACM workshop on Formal Methods in Security Engineering, FMSE '06 : held in conjunction with the 13th ACM Conference on Comnputer Communications Security : October 30-November 3, 2006, Alexandria, Virginia, USA

Association for Computing Machiner

Association for Computing Machiner , Printed from e-media with permission by Curran Associates, c2006

Other Title

Fourth ACM Workshop on Formal Methods in Security Engineering, October 30-November 3, 2006, Alexandria, Virginia, USA

FMSE 2006 workshop

FMSE'06

13th ACM Conference on Comnputer Communications Security

Note

ACM order number 459065

Details

• NCID: BD09156321
• ISBN:
  • 9781604231953
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York,Red Hook, NY
• Pages/Volumes: 77 pages
• Size: 28 cm
• Subject Headings:
  • LCSH : Computer security -- Congresses
  • LCSH : Formal methods (Computer science) -- Congresses