Reset Filters
Branch: 上海图书馆享借中心

Cover is for reference only

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

Saved in:
Bibliographic Details
Corporate Authors: ACM Workshop on Formal Methods in Security Engineering (3rd 2005 Fairfax, Va.); ACM Conference on Computer and Communications Security 2005 Alexandria, Va.) (Alexandria, Va.)); Association for Computing Machinery. Special Interest Group on Security, Audit, and Control.
Group Author: Mitchell John C.; Küsters Ralf.
Published: Association for Computing Machinery,
Publisher Address: New York, N.Y.
Publication Dates: c2005.
Literature type: Book
Language: English
Subjects:
Formal methods (Computer science)
Computer security
Carrier Form: vi, 83 p.: ill. ; 28 cm.
Publication Frequency: Also issued online.
ISBN: 1595932313
9781595932310
Index Number: TP309
CLC: TP309-532
Call Number: TP309-532/A849-2/2005
Contents: "... Third ACM Workshop on Formal Methods in Security Engineering (FMSE 2005) ..."--P. iii.
"ACM order number 100055"--P. ii.
Includes bibliographical references and author index.

Related Book Recommendations