1.
Record Nr.
UNINA9910375934303321
Titolo
FMSE '03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03
Pubbl/distr/stampa
[Place of publication not identified], : ACM, 2003
Descrizione fisica
1 online resource (93 pages)
Collana
ACM Conferences
Soggetti
Engineering & Applied Sciences
Computer Science
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia
Note generali
Bibliographic Level Mode of Issuance: Monograph