02200oam 2200505zu 450 991037593430332120210807001956.0(CKB)3170000000002241(SSID)ssj0001139296(PQKBManifestationID)11758198(PQKBTitleCode)TC0001139296(PQKBWorkID)11183096(PQKB)10338973(WaSeSS)IndRDA00013984(Association for Computing Machinery)10.1145/1035429(EXLCZ)99317000000000224120160829d2003 uy engur|||||||||||txtccrFMSE '03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03[Place of publication not identified]ACM20031 online resource (93 pages)ACM ConferencesBibliographic Level Mode of Issuance: Monograph1-58113-781-8 ACM ConferencesFormal Methods in Security Engineering '03 :proceedings 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'03Proceedings of the 2003 ACM Workshop on Formal Methods in Security EngineeringEngineering & Applied SciencesHILCCComputer ScienceHILCCEngineering & Applied SciencesComputer ScienceBackes MichaelBasin DavidAssociation for Computing Machinery-Digital Library.Association for Computing Machinery.ACM Conference on Computer and Communications Security(10th :2003 :Washington, D.C.)PQKBBOOK9910375934303321FMSE '03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'032062526UNINA