عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A25A326 2004
QA
76
.
9
.
A25A326
2004
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
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
EDITION STATEMENT
Statement of Responsibility Relating to Edition
2004 : Washington, D.C.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York, N.Y.
Name of Publisher, Distributor, etc.
ACM Press
Date of Publication, Distribution, etc.
c2004
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vi, 98 p.: ill.
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN: 1581139713
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Sponsored by ACM SIGSAC; General co-chairs : Michael Backes, David Basin & Michael Waidner
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Computer security
Entry Element
Congresses ، Formal methods )Computer science(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
.
A25A326
2004
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Backes, Michael
AU Basin, David
AU Waidner, Michael
CO ACM Special Interest Group on Security, Audit and Control
CO Association for Computing Machinery
CO ACM Conference on Computer and Communications Security 11th : 2004 : Washington, D.C.
TI
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
ACM Workshop on Formal Methods in Security Engineering
