Research Catalog

FMSE '04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS 2004

Title
FMSE '04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS 2004 / sponsored by ACM SIGSAC.
Author
ACM Workshop on Formal Methods in Security Engineering (2004 : Washington, D.C.)
Publication
New York, N.Y. : Association for Computing Machinery, [2004], ©2004.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/TextRequest in advance QA76.9.A25 A26 2004gOff-site

Holdings

Details

Additional Authors
  • Association for Computing Machinery. Special Interest Group on Security, Audit, and Control.
  • Association for Computing Machinery.
  • ACM Conference on Computer and Communications Security (11th : 2004 : Washington, D.C.)
Description
vi, 97 pages : illustrations; 28 cm
Alternative Title
  • Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering
  • 2004 ACM Workshop on Formal Methods in Security Engineering
  • Formal methods in security engineering
  • Proceedings of the 2nd ACM Workshop on Security of Ad Hoc and Sensor Networks.
Subject
  • Computer security > Congresses
  • Formal methods (Computer science) > Congresses
Bibliography (note)
  • Includes bibliographical references and index.
Additional Formats (note)
  • Also issued online with additional title: Proceedings of the 2nd ACM Workshop on Security of Ad Hoc and Sensor Networks.
ISBN
1581139713
OCLC
  • ocm57707648
  • SCSB-5178302
Owning Institutions
Columbia University Libraries