{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:54:16Z","timestamp":1730224456456,"version":"3.28.0"},"reference-count":94,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/healthcom.2015.7454475","type":"proceedings-article","created":{"date-parts":[[2016,5,4]],"date-time":"2016-05-04T20:10:33Z","timestamp":1462392633000},"page":"68-74","source":"Crossref","is-referenced-by-count":17,"title":["Reliability analysis of healthcare information systems: State of the art and future directions"],"prefix":"10.1109","author":[{"given":"Amjad","family":"Gawanmeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hussam","family":"Al-Hamadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahmoud","family":"Al-Qutayri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Shiu-Kai Chin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kashif","family":"Saleem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/BHI.2014.6864444"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/HealthCom.2014.7001811"},{"journal-title":"Modelling in Event-B System and Software Engineering","year":"2009","author":"abrial","key":"ref71"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32355-3_1"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1109\/ICTRC.2015.7156454"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.12694\/scpe.v16i1.1059"},{"key":"ref74","first-page":"100","article-title":"Theorem proving verification of privacy in WBSN for healthcare systems","author":"ai-hamadi","year":"2013","journal-title":"IEEE Int Conf Electronics Circuits Systems"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2009.090516"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/HealthCom.2014.7001813"},{"key":"ref38","first-page":"1","article-title":"Selective multicast protocol for wireless body area networks (WBAN) for power conservation","author":"karira","year":"2009","journal-title":"Annual IEEE India Conference"},{"journal-title":"Introduction to HOL A Theorem Proving Environment for Higher Order Logic","year":"1993","author":"gordon","key":"ref78"},{"key":"ref79","first-page":"381","article-title":"Actor based domain specific privacy model for U-healthcare system","author":"subramaniam","year":"2010","journal-title":"Int Conf on Digital Content Multimedia Technology and its Applications"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2014.73"},{"key":"ref32","article-title":"Privacy in mobile technology for personal healthcare","author":"avancha","year":"2009","journal-title":"ACM Computing Surveys"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2012.146"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TITB.2012.2206115"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/MeMeA.2013.6549738"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/EMBC.2013.6610602"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TITB.2009.2037619"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.40"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/IFITA.2010.58"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ICHI.2014.11"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2011.6081983"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2014.6854306"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEng.2011.82"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/2494603.2480302"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/BMEI.2012.6513218"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-013-0202-2"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-013-0200-4"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/JCN.2011.6157409"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031813"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54804-8_14"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39088-3_10"},{"year":"2005","key":"ref2","article-title":"History's worst software bugs"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.1983.4332638"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SIMUL.2010.13"},{"key":"ref22","first-page":"1078","article-title":"Distributed resource allocation for healthcare systems","volume":"1","author":"weng","year":"2008","journal-title":"Proc IEEE Int Conf Service Oper Logist Informatics"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2003.1261656"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/HealthCom.2014.7001822"},{"key":"ref23","article-title":"Human-oriented design of secure machine-to-machine communication system for e-healthcare society","author":"saleem","year":"2014","journal-title":"Computers in Human Behavior"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICOS.2011.6079269"},{"key":"ref25","first-page":"1","article-title":"EPF: an eventaided packet forwarding protocol for privacy preserving mobile healthcare social networks","author":"chen","year":"2011","journal-title":"Global Communications Conference"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TBCAS.2012.2193668"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/SCVT.2012.6399405"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4939-2092-1_21"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.12694\/scpe.v16i1.1057"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.12694\/scpe.v16i1.1062"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.12694\/scpe.v16i1.1058"},{"key":"ref90","article-title":"Big data analytics","author":"russom","year":"2011","journal-title":"TDWI Best Practices Report"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.113"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/SEHC.2012.6227002"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref57"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03809-3"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-736-3"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.283"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSyst.2012.6188694"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ISSPIT.2009.5407535"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICIEEM.2011.6035502"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2011.6147789"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/BioCAS.2014.6981748"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICQR.2011.6031721"},{"key":"ref13","first-page":"205","article-title":"Introduction to Arena'TM","author":"collins","year":"1993","journal-title":"Simulation Conference Proceedings"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2009.5429338"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2012.6465019"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/CCNC.2013.6488581"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.31"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/RBME.2012.2184750"},{"journal-title":"Little-JIL 1 5 Language Report","year":"2006","author":"wise","key":"ref17"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2217319"},{"key":"ref18","article-title":"JSim agent behavior specification language","author":"wise","year":"2013","journal-title":"Tech Rep"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-11-S1-S67"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/BIBMW.2010.5703849"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA.2008.62"},{"key":"ref89","first-page":"20","article-title":"Issues and challenges for health information systems in the pacific","volume":"18","author":"on","year":"2012","journal-title":"Journal Pacific Health Dialog"},{"key":"ref4","article-title":"A heart device is found vulnerable to hacker attacks","author":"feder","year":"2008","journal-title":"The New York Times"},{"key":"ref3","article-title":"Investigation of an Accidental Exposure of Radiotherapy Patients in Panama: Report of a Team of Experts","author":"agency","year":"2001","journal-title":"International Atomic Energy Agency"},{"year":"2013","key":"ref6","article-title":"Privacy incident-mount sinai medical center | miami beach, FL"},{"year":"2013","key":"ref5","article-title":"Ways EHRs can lead to unintended safety problems – amednews.com"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2011.260"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/WHCM.2010.5441266"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOMW.2006.94"},{"year":"2013","key":"ref7","article-title":"3 health incidents in breach roundup"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2012.6364575"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1109\/ICCISci.2012.6297151"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1109\/ASPEC.2007.31"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2012.6465136"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ELECO.2013.6713862"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2005.847350"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/HealthCom.2012.6379461"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/WMNC.2013.6548958"},{"key":"ref42","first-page":"1","article-title":"A fully digital front-end architecture for ecg acquisition system with 0.5 v supply","volume":"pp","author":"zare","year":"2015","journal-title":"IEEE Transactions on very large scale integration Systems"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ISSCS.2013.6651263"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICBBT.2010.5478930"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCET.2011.5762454"}],"event":{"name":"2015 17th International Conference on E-health Networking, Application & Services (HealthCom)","start":{"date-parts":[[2015,10,14]]},"location":"Boston, MA, USA","end":{"date-parts":[[2015,10,17]]}},"container-title":["2015 17th International Conference on E-health Networking, Application & Services (HealthCom)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7449553\/7454459\/07454475.pdf?arnumber=7454475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T20:54:58Z","timestamp":1489784098000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7454475\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":94,"URL":"https:\/\/doi.org\/10.1109\/healthcom.2015.7454475","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}