{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:39:20Z","timestamp":1729669160353,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/crisis.2008.4757486","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T21:03:38Z","timestamp":1232485418000},"page":"249-254","source":"Crossref","is-referenced-by-count":8,"title":["Formal procedural security modeling and analysis"],"prefix":"10.1109","author":[{"given":"Komminist","family":"Weldemariam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adolfo","family":"Villafiorita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317437"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77493-8_4"},{"journal-title":"Dr Dobb's Journal","year":"1999","author":"schneier","key":"17"},{"journal-title":"Model-Based Development of Security-Critical Systems","year":"2005","author":"wimmel","key":"23"},{"key":"18","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1109\/SECPRI.2002.1004377","article-title":"automated generation and analysis of attack graphs","author":"sheyner","year":"2002","journal-title":"SP '02 Proceedings of the 2002 IEEE Symposium on Security and Privacy"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1052220.1052288"},{"key":"15","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/11856214_7","article-title":"ranking attack graphs","volume":"4219","author":"mehta","year":"2006","journal-title":"Lecture Notes in Computer Science"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58555-9_88"},{"year":"0","key":"13"},{"journal-title":"Analysis of Processes in the Context of Electronic Election","year":"2005","author":"mattioli","key":"14"},{"key":"11","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/3-540-45732-1_11","article-title":"the coras framework for a model-based risk management process","author":"fredriksen","year":"2002","journal-title":"SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety Reliability and Security"},{"key":"12","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/978-3-540-31987-0_14","article-title":"analysis of an electronic voting protocol in the applied pi calculus","volume":"3444","author":"kremer","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/11429760_4"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/775412.775425"},{"year":"0","key":"20"},{"key":"2","article-title":"using business process re-engineering (bpr) for the effective administration of electronic voting","volume":"3","author":"xenakis","year":"2005","journal-title":"Journal of Electronic Government"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/11875567_2","article-title":"through the description of attacks: a multidimensional view","volume":"4166","author":"fovino","year":"2006","journal-title":"Lecture Notes in Computer Science"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICPPW.2002.1039705"},{"journal-title":"From Laws to Models Tools and Methodologies","year":"2006","author":"ciaghi","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1035429.1035434"},{"key":"4","article-title":"nusmv 2: an open source tool for symbolic model checking","author":"bertoli","year":"2002","journal-title":"Proc Conf Computer-Aided Verification"},{"key":"9","first-page":"159","article-title":"integrating modelbased security risk management into ebusiness systems development: the coras approach","author":"dimitrakos","year":"2002","journal-title":"I3E '02 Proceedings of the IFIP Conference on Towards The Knowledge Society"},{"year":"0","key":"8"}],"event":{"name":"2008 Third International Conference on Risks and Security of Internet and Systems( CRiSIS)","start":{"date-parts":[[2008,10,28]]},"location":"Tozeur, Tunisia","end":{"date-parts":[[2008,10,30]]}},"container-title":["2008 Third International Conference on Risks and Security of Internet and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4733895\/4757450\/04757486.pdf?arnumber=4757486","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T11:21:24Z","timestamp":1558092084000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4757486\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/crisis.2008.4757486","relation":{},"subject":[],"published":{"date-parts":[[2008,10]]}}}