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