LEADER 02200oam  2200505zu 450 
001 9910375934303321
005 20210807001956.0
035   $a(CKB)3170000000002241
035   $a(SSID)ssj0001139296
035   $a(PQKBManifestationID)11758198
035   $a(PQKBTitleCode)TC0001139296
035   $a(PQKBWorkID)11183096
035   $a(PQKB)10338973
035   $a(WaSeSS)IndRDA00013984
035   $a(Association for Computing Machinery)10.1145/1035429
035   $a(EXLCZ)993170000000002241
100   $a20160829d2003      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aFMSE '03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03
210 31$a[Place of publication not identified]$cACM$d2003
215   $a1 online resource (93 pages)
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-58113-781-8 
410  0$aACM Conferences
517 1 $aFormal Methods in Security Engineering '03 :$eproceedings of the 2003 Association for Computing Machinery Workshop on Formal Methods in Security Engineering : Washington, District of Columbia, United States of America, October 30, 2003 : co-located with Computer and Communications Security'03
517 1 $aProceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
702   $aBackes$b Michael
702   $aBasin$b David
712 02$aAssociation for Computing Machinery-Digital Library.
712 02$aAssociation for Computing Machinery.
712 12$aACM Conference on Computer and Communications Security$d(10th :$f2003 :$eWashington, D.C.)
801  0$bPQKB
906   $aBOOK
912   $a9910375934303321
996   $aFMSE '03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03$92062526
997   $aUNINA