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

• 資料種別: 図書
• ISBN: 1595932313
• タイトル: 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 Workshop on Formal Methods in Security Engineering; Küsters, Ralf; https://ci.nii.ac.jp/author/DA13209732; Mitchell, John C.; https://ci.nii.ac.jp/author/DA08181791; Association for Computing Machinery. Special Interest Group on Security, Audit, and Control; https://ci.nii.ac.jp/author/DA08838681; ACM Conference on Computer and Communications Security
• 出版事項: ACM press
• 出版年月日等: c2005
• 出版年（W3CDTF）: 2005
• 大きさ: 28 cm
• 並列タイトル等: Third ACM Workshop on Formal Methods in Security Engineering; FMSE 2005
• 出版地（国名コード）: us
• 本文の言語コード: en
• 件名標目: Computer security -- Congresses; Formal methods (Computer science) -- Congresses
• 対象利用者: 一般
• 一般注記: Includes bibliographical references and author index; ACM order number 100055; HTTP:URL=http://portal.acm.org/toc.cfm?id=1103576
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA86051304#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA86051304 : BA86051304