4th ACM workshop on formal methods in security engineering : FMSE '06 : held in conjunction with the 13th ACM conference on computer and communications security : October 30-November 3, 2006 : Alexandria, Virginia, USA. : CCS workshops : Oct 2006, Alexandria, VA.

• Material Type: 図書
• ISBN: 9781604231953
• Title: 4th ACM workshop on formal methods in security engineering : FMSE '06 : held in conjunction with the 13th ACM conference on computer and communications security : October 30-November 3, 2006 : Alexandria, Virginia, USA. : CCS workshops : Oct 2006, Alexandria, VA.
• Author Heading: ACM Workshop on Formal Methods in Security Engineering (4th : 2006 : Alexandria, Va.); ACM Conference on Computer and Communications Security (13th : 2006 : Alexandria, Va.)
• Publication, Distribution, etc.: New York : ACM
• Publication Date: c2006.
• Publication Date (W3CDTF): 2006
• Extent: 77 p. : ill. ; 28 cm.
• Place of Publication (Country Code): US
• Text Language Code: eng
• Subject Heading: Computer security -- Congresses.; Data protection -- Congresses.; Data encryption (Computer science) -- Congresses.; Telecommuniction systems -- Security measures -- Congresses.
• NDLC: M17
• Note (General): Papers.; " (...) (FMSE'06) held in Fairfax, Virginia, November 3rd 2006, (...) " -- foreword.
• Note (Bibliography): Includes bibliographical references.
• Holding library: 国立国会図書館
• Call No.: M17-07-2214
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000009020332; http://id.ndl.go.jp/bib/000009020332
• OCLC No.: 84896814; https://www.worldcat.org/oclc/84896814
• Bibliographic Record Category (NDL): 215