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

著者

• 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

書誌事項

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

タイトル別名

Third ACM Workshop on Formal Methods in Security Engineering

FMSE 2005

注記

Includes bibliographical references and author index

ACM order number 100055

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

詳細情報

• NII書誌ID(NCID): BA86051304
• ISBN:
  • 1595932313
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: vi, 83 p.
• 大きさ: 28 cm
• 件名:
  • LCSH : Computer security -- Congresses
  • LCSH : Formal methods (Computer science) -- Congresses