Proceedings of the ... ACM Workshop on Formal Methods in Security Engineering / sponsored by ACM SIGSAC.
Author/creator | ACM Workshop on Formal Methods in Security Engineering |
Other author/creator | Association for Computing Machinery. Special Interest Group on Security, Audit, and Control. |
Format | Book, Journal, and Print |
Publication Info | New York : Association for Computing Machinery, 2003- |
Description | volumes : illustrations ; 28 cm |
Subject(s) |
Click here for more information about this title
Variant title | At head of title: FMSE |
Portion of title | ACM Workshop on Formal Methods in Security Engineering |
Portion of title | Formal Methods in Security Engineering |
General note | 2003 conference co-located with CCS'03, the 10th ACM Conference on Computer and Communications Security, in Washington, D.C. |
Special numbering | 2003 Workshop called also 1st. |
LCCN | 2004242062 |
Holdings
Library | Location | Holdings |
Joyner | General Stacks QA 76.9 A25 A343 |
(2004) |
Available Items
Library | Location | Call Number | Status | Item Actions | |
Joyner | General Stacks | QA76.9.A25 A343 2004 | ✔ Available | Place Hold |