{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:44Z","timestamp":1750307624584,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,11,24]],"date-time":"2008-11-24T00:00:00Z","timestamp":1227484800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001602","name":"Science Foundation Ireland","doi-asserted-by":"publisher","award":["SFI RFP07 CMSF 631"],"award-info":[{"award-number":["SFI RFP07 CMSF 631"]}],"id":[{"id":"10.13039\/501100001602","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,11,24]]},"DOI":"10.1145\/1497185.1497218","type":"proceedings-article","created":{"date-parts":[[2009,1,29]],"date-time":"2009-01-29T13:45:53Z","timestamp":1233236753000},"page":"150-155","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Determining a parallel session attack on a key distribution protocol using a model checker"],"prefix":"10.1145","author":[{"given":"Vladimir","family":"Pa\u015fca","sequence":"first","affiliation":[{"name":"University of Limerick, Limerick, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anca","family":"Jurcu\u0163","sequence":"additional","affiliation":[{"name":"University of Limerick, Limerick, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiner","family":"Dojen","sequence":"additional","affiliation":[{"name":"University of Limerick, Limerick, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Coffey","sequence":"additional","affiliation":[{"name":"University of Limerick, Limerick, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,11,24]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"R.\n      Anderson\n     and \n      R.\n      Needham\n  . \n  Computer Science Today volume \n  1000\n   of \n  Lecture Notes on Computer Science chapter Programming Satan's Computer pages \n  426\n  --\n  441\n  . \n  Springer Berlin 1995\n  .  R. Anderson and R. Needham. Computer Science Today volume 1000 of Lecture Notes on Computer Science chapter Programming Satan's Computer pages 426--441. Springer Berlin 1995.","key":"e_1_3_2_1_1_1","DOI":"10.1007\/BFb0015258"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/11513988_27"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/s10207-004-0055-7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.5555\/1965197"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/77648.77649"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1016\/S0164-1212(02)00093-6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.5555\/647321.721338"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1016\/S1389-1286(03)00292-5"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of SAM'03 (Conference on Security and Management)","author":"Coffey T.","year":"2003","unstructured":"T. Coffey , R. Dojen , and T. Flanagan . On different approaches to establish the security of cryptographic protocols. In H. Arabnia and Y. Mun, editors , Proceedings of SAM'03 (Conference on Security and Management) , volume II , 2003 . T. Coffey, R. Dojen, and T. Flanagan. On different approaches to establish the security of cryptographic protocols. In H. Arabnia and Y. Mun, editors, Proceedings of SAM'03 (Conference on Security and Management), volume II, 2003."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1109\/SFCS.1981.32"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.5555\/794200.795146"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/25.994813"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1016\/0020-0190(95)00144-2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.5555\/794196.795056"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.5555\/353677.353680"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of SP'97 IEEE Symposium on Security and Privacy. IEEE Computer Society Press","author":"Mitchell J.","year":"1997","unstructured":"J. Mitchell , M. Mitchell , and U. Stern . Automated analysis of cryptographic protocols using murphi . In Proceedings of SP'97 IEEE Symposium on Security and Privacy. IEEE Computer Society Press , 1997 . J. Mitchell, M. Mitchell, and U. Stern. Automated analysis of cryptographic protocols using murphi. In Proceedings of SP'97 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 1997."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.5555\/1710853.1710857"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1016\/j.ins.2006.09.001"},{"key":"e_1_3_2_1_20_1","first-page":"71","volume-title":"Proceedings of 7th International Conference on Renewable Sources and Environmental Electro-Technologies","author":"Pasca V.","year":"2008","unstructured":"V. Pasca , R. Dojen , T. Coffey , and R. Gyorodi . Detecting attacks on security protocols using model checking . In Proceedings of 7th International Conference on Renewable Sources and Environmental Electro-Technologies , pages 71 -- 76 , 2008 . V. Pasca, R. Dojen, T. Coffey, and R. Gyorodi. Detecting attacks on security protocols using model checking. In Proceedings of 7th International Conference on Renewable Sources and Environmental Electro-Technologies, pages 71--76, 2008."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1016\/j.jss.2005.04.022"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of APPSEM 2005 Workshop","author":"von Oheimb D.","year":"2005","unstructured":"D. von Oheimb . The high-level protocol specification language hlpsl developed in the eu project avispa . In Proceedings of APPSEM 2005 Workshop , 2005 . D. von Oheimb. The high-level protocol specification language hlpsl developed in the eu project avispa. In Proceedings of APPSEM 2005 Workshop, 2005."}],"event":{"sponsor":["SIGMM ACM Special Interest Group on Multimedia"],"acronym":"MoMM08","name":"MoMM08: 6th International Conference on Mobile Computing and Multimedia","location":"Linz Austria"},"container-title":["Proceedings of the 6th International Conference on Advances in Mobile Computing and Multimedia"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1497185.1497218","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1497185.1497218","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:53Z","timestamp":1750250753000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1497185.1497218"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,24]]},"references-count":21,"alternative-id":["10.1145\/1497185.1497218","10.1145\/1497185"],"URL":"https:\/\/doi.org\/10.1145\/1497185.1497218","relation":{},"subject":[],"published":{"date-parts":[[2008,11,24]]},"assertion":[{"value":"2008-11-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}