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

• Pubblicazione: [Place of publication not identified], : ACM, 2005
• Descrizione fisica: 1 online resource (84 pages)
• Soggetto topico: Engineering & Applied Sciences; Computer Science
• Persona (resp. second.): MitchellJohn C; KüstersRalf
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Altri titoli varianti: Formal Methods in Security Engineering '05 : proceedings of the 2005 Association for Computing Machinery Workshop on Formal Methods in Security Engineering : November 11, 2005, Fairfax, Virginia, United States of America, co-located with Computer and Communications Security 2005; Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering
• Titolo autorizzato: 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
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910376477403321
• Lo trovi qui: Univ. Federico II
• Serie: ACM Conferences