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

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,
Publication Dates: c2005.
Call Number: TP309-532/A849-2/2005