عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A25A326 2005
QA
76
.
9
.
A25A326
2005
کتابخانه
محل استقرار
FMSE'05 : proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineerign, November 11, 2005, Fairfax, Virginia, USA )co-located with CCS 2005(
2005 : Fairfax, Va.
New York, N.Y.
ACM Press
c2005
vi, 83 p.: ill.
"....Third ACM Workshop on Formal Methods in Security Engineering )FMSE 2005(..."
Includes bibliographies
ISBN: 1595932313
Ralf Kusters & John Mitchell, editors; sponsored by ACM Special Interest Group on Security, Audit & Control )SIGSAC(
1
Congresses ، Computer security
Congresses ، Formal methods )Computer science(
QA
76
.
9
.
A25A326
2005
NO
AU
AU Kusters, Ralf
AU Mitchell, John C.
CO Association for Computing Machinery
CO ACM Special Interest Group on Security, Audit and Control
CO ACM Conference on Computer and Communications Security 12th : 2005 : Alexandria, Va.
TI
TI Formal methods in security engineering
ACM Workshop on Formal Methods in Security Engineering
