{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T16:44:04Z","timestamp":1776357844121,"version":"3.51.2"},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Basic Science Research Program"},{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005240","name":"Ministry of Education","doi-asserted-by":"publisher","award":["NRF-2020R1I1A2073603"],"award-info":[{"award-number":["NRF-2020R1I1A2073603"]}],"id":[{"id":"10.13039\/501100005240","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Soonchunhyang University Research Fund"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE J. Biomed. Health Inform."],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1109\/jbhi.2021.3063173","type":"journal-article","created":{"date-parts":[[2021,3,2]],"date-time":"2021-03-02T20:34:41Z","timestamp":1614717281000},"page":"3763-3775","source":"Crossref","is-referenced-by-count":21,"title":["TrMAps: Trust Management in Specification-Based Misbehavior Detection System for IMD-Enabled Artificial Pancreas System"],"prefix":"10.1109","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9611-1036","authenticated-orcid":false,"given":"Philip Virgil","family":"Astillo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaurav","family":"Choudhary","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel Gerbi","family":"Duguma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2710-0864","authenticated-orcid":false,"given":"Jiyoon","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0604-3445","authenticated-orcid":false,"given":"Ilsun","family":"You","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Diabete","year":"2020"},{"issue":"1","key":"ref2","first-page":"1","article-title":"Smdaps: A Specification-based misbehavior detection system for implantable medical devices in artificial pancreas system","volume":"22","author":"Astillo","year":"2021","journal-title":"J. Internet Technol."},{"key":"ref3","article-title":"Global artificial pancreas systems market is growing at a significant rate in the forecast Period 2018-2025","volume-title":"Data Bridge Market Research","year":"2017"},{"key":"ref4","first-page":"150","article-title":"Hijacking an insulin pump: Security attacks and defenses for a diabetes therapy system","volume-title":"Proc. IEEE 13th Int. Conf. e-Health Netw., Applications and Services, Columbia","author":"Li"},{"key":"ref5","article-title":"Vulnerabilities of the artificial pancreas system and proposed cryptographic solutions","volume-title":"Proc. Undergrad. Res. Showcase, Boise State Univ. Idaho","author":"Cooke"},{"issue":"4","key":"ref6","first-page":"1","article-title":"Towards detecting and classifying network intrusion traffic using deep learning frameworks","volume":"9","author":"Basnet","year":"2019","journal-title":"J. Internet Serv. Inf. Secur."},{"issue":"2","key":"ref7","first-page":"1","article-title":"Identification of attacks against wireless sensor networks based on behaviour analysis","volume":"10","author":"Korzhuk","year":"2019","journal-title":"J. Wirel. Mob. Netw., Ubiquitous Comput. Dependable Appl."},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SNAMS.2019.8931716"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CNS48642.2020.9162311"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SEGE.2019.8859950"},{"key":"ref11","first-page":"1","article-title":"Attack detection using federated learning in medical cyber-physical systems","volume-title":"Proc. 28th Int. Conf. Comput. Commun. Netw.","author":"Schneble"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2020.3007535"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/CISTI.2018.8399291"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/LISAT.2017.8001952"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3278576.3278601"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1055\/s-0028-1093841"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1136\/bmj.1.6107.204"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1046\/j.1525-1594.1998.06043.x"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1177\/193229680900300106"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1177\/193229680800200518"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1038\/nbt1216-1220"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/PESGM.2016.7741452"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2018.8474113"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CNS.2018.8433183"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.22667\/JOWUA.2019.12.31.046"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.03.007"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1111\/dom.13810"},{"key":"ref28","article-title":"UPPAAL: Design verification for embedded systems"},{"key":"ref29","first-page":"1","article-title":"Introduction to kalman filter and its applications","volume-title":"Proc. Introduction Implementations Kalman Filter","author":"Kim"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s00190-013-0690-8"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1177\/1932296813514502"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s11277-018-6005-x"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2019.102409"},{"key":"ref34","article-title":"Simglucose v0.2.1","author":"Xie","year":"2018"},{"issue":"2","key":"ref35","first-page":"5","article-title":"Comparative study of four supervised machine learning techniques for classification","volume":"7","author":"Mohamed","year":"2017","journal-title":"Int. J. Appl. Sci. Tech."}],"container-title":["IEEE Journal of Biomedical and Health Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221020\/9559879\/09366937.pdf?arnumber=9366937","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T01:46:07Z","timestamp":1706060767000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9366937\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10]]},"references-count":35,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/jbhi.2021.3063173","relation":{},"ISSN":["2168-2194","2168-2208"],"issn-type":[{"value":"2168-2194","type":"print"},{"value":"2168-2208","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,10]]}}}