{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:13:48Z","timestamp":1761621228543,"version":"3.37.3"},"reference-count":17,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T00:00:00Z","timestamp":1443657600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["Computational modeling and analysis for complex sy"],"award-info":[{"award-number":["Computational modeling and analysis for complex sy"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Des. Test"],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/mdat.2015.2468222","type":"journal-article","created":{"date-parts":[[2015,8,14]],"date-time":"2015-08-14T10:33:41Z","timestamp":1439548421000},"page":"56-65","source":"Crossref","is-referenced-by-count":21,"title":["Security Assurance Cases for Medical Cyber\u2013Physical Systems"],"prefix":"10.1109","volume":"32","author":[{"given":"Arnab","family":"Ray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rance","family":"Cleaveland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Guidance document for infusion pump manufacturers","year":"0","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ASSURE.2013.6614270"},{"journal-title":"A Guide to Security Metrics","year":"0","author":"payne","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018438"},{"journal-title":"Fuzzing Brute Force Vulnerability Discovery","year":"2007","author":"sutton","key":"ref14"},{"journal-title":"Evaluating Static Analysis Frameworks","year":"2006","author":"christopher","key":"ref15"},{"journal-title":"The generic infusion pump project","year":"0","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2005.03.007"},{"journal-title":"Mass Device","article-title":"Confickered! Medical devices and digital medical records are getting hacked","year":"2009","key":"ref4"},{"key":"ref3","article-title":"Pacemakers and implantable cardiac defibrillators: Software radio attacks and zero-power defenses","author":"halperin","year":"0","journal-title":"Proc IEEE Symp Security Privacy"},{"journal-title":"Content of premarket submissions for management of cybersecurity in medical devices—Draft guidance for industry and Food and Drug Administration staff","year":"0","key":"ref6"},{"journal-title":"FDA medical device safety","year":"0","key":"ref5"},{"journal-title":"The Uses of Argument","year":"1958","author":"toulin","key":"ref8"},{"journal-title":"Towards An Assurance Case Practice for Medical Device","year":"2009","author":"weinstock","key":"ref7"},{"key":"ref2","article-title":"Black hat hacker can remotely attack insulin pumps and kill people","author":"ngak","year":"2011","journal-title":"CBS News"},{"key":"ref1","article-title":"Feds probe cybersecurity dangers in medical devices","author":"hsu","year":"2014","journal-title":"IEEE Spectrum"},{"key":"ref9","article-title":"The goal structuring notation—A safety argument notation","author":"kelly","year":"0","journal-title":"Proc Dependable Systems and Networks Workshop on Assurance Cases"}],"container-title":["IEEE Design & Test"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221038\/7236939\/07194764.pdf?arnumber=7194764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:46:20Z","timestamp":1641987980000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7194764\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":17,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/mdat.2015.2468222","relation":{},"ISSN":["2168-2356","2168-2364"],"issn-type":[{"type":"print","value":"2168-2356"},{"type":"electronic","value":"2168-2364"}],"subject":[],"published":{"date-parts":[[2015,10]]}}}