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

著者

• 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

書誌事項

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

タイトル別名

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

注記

ACM order number 459065

詳細情報

• NII書誌ID(NCID): BD09156321
• ISBN:
  • 9781604231953
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York,Red Hook, NY
• ページ数/冊数: 77 pages
• 大きさ: 28 cm
• 件名:
  • LCSH : Computer security -- Congresses
  • LCSH : Formal methods (Computer science) -- Congresses