{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T15:30:13Z","timestamp":1785252613836,"version":"3.55.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,29]],"date-time":"2022-10-29T00:00:00Z","timestamp":1667001600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,29]],"date-time":"2022-10-29T00:00:00Z","timestamp":1667001600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,29]]},"DOI":"10.1109\/besc57393.2022.9995464","type":"proceedings-article","created":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T18:48:27Z","timestamp":1672253307000},"page":"1-7","source":"Crossref","is-referenced-by-count":2,"title":["A formal approach for secured risk analysis in information security management"],"prefix":"10.1109","author":[{"given":"Kengo","family":"Zenitani","sequence":"first","affiliation":[{"name":"Tokyo Institute of Technology,School of Computing,Department of Mathematical and Computing Science,Tokyo,Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2012.6263942"},{"key":"ref2","article-title":"Mul-VAL Extensions For Dynamic Asset Protection","author":"Bacic","year":"2006","journal-title":"Defence R&D Canada"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2012.4"},{"key":"ref5","article-title":"The OPM Data Breach: How the Government Jeopardized Our National Security for More than a Generation","volume-title":"Tech. rep","year":"2016"},{"key":"ref6","article-title":"MulVAL extensions II Defence R&D Canada-Ottawa","author":"Froh","year":"2009"},{"key":"ref7","first-page":"1","article-title":"The official report of the Fukushima nuclear accident independent investigation commission","volume-title":"Tech. rep","year":"2012"},{"key":"ref8","year":"2009","journal-title":"Risk management - Risk assessment techniques"},{"key":"ref9","article-title":"Report on the Results of the Investigation into the Incident of Information Leakage due to Unauthorized Access","volume-title":"Tech. rep","year":"2015"},{"key":"ref10","year":"2016","journal-title":"Information technology - Security techniques - Information security management systems - Overview and vocabulary"},{"key":"ref11","year":"2011","journal-title":"Information technology - Security techniques - Information security risk management"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exs029"},{"key":"ref13","article-title":"Results of the investigation into the cause of the personal information leak at the Japan Pension Service","volume-title":"Tech. rep","year":"2015"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.6028\/NIST.SP.800-30r1"},{"key":"ref15","article-title":"A logic-programming approach to network security analysis","volume-title":"PhD thesis","author":"Ou","year":"2005"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180446"},{"issue":"4","key":"ref17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3005714","article-title":"A Survey on Systems Security Metrics","volume":"49","author":"Pendleton","year":"2017","journal-title":"ACM Computing Surveys"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2017.2745505"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88313-5_2"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61176-1_14"},{"key":"ref21","volume-title":"ArchiMate\u00ae 3.1 Specification","year":"2019"},{"key":"ref22","volume-title":"The TOGAF\u00ae Standard, Version 9.2","year":"2018"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1719030.1719036"},{"key":"ref24","article-title":"Verification Report","volume-title":"Tech. rep","year":"2015"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70567-3_22"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-210103"}],"event":{"name":"2022 9th International Conference on Behavioural and Social Computing (BESC)","location":"Matsuyama, Japan","start":{"date-parts":[[2022,10,29]]},"end":{"date-parts":[[2022,10,31]]}},"container-title":["2022 9th International Conference on Behavioural and Social Computing (BESC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9994792\/9994886\/09995464.pdf?arnumber=9995464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T17:27:23Z","timestamp":1710437243000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9995464\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,29]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/besc57393.2022.9995464","relation":{},"subject":[],"published":{"date-parts":[[2022,10,29]]}}}