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

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

Bibliographic Details
Main Author: ACM Workshop on Formal Methods in Security Engineering (corporate author, -)
Corporate Authors: ACM Workshop on Formal Methods in Security Engineering Corporate Author (corporate author), Association for Computing Machinery-Digital Library, Association for Computing Machinery, ACM Conference on Computer and Communications Security
Other Authors: Mitchell, John C Contributor (contributor), Küsters, Ralf Contributor
Format: eBook
Language:Inglés
Published: [Place of publication not identified] ACM 2005
Series:ACM Conferences
Subjects:
Engineering & Applied Sciences
Computer Science
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713806506719
Description
Item Description:Bibliographic Level Mode of Issuance: Monograph
Physical Description:1 online resource (84 pages)

Similar Items