{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:49:08Z","timestamp":1742989748988,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030649906"},{"type":"electronic","value":"9783030649913"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-64991-3_6","type":"book-chapter","created":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T17:10:10Z","timestamp":1607965810000},"page":"77-91","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3994-3810","authenticated-orcid":false,"given":"Leonidas","family":"Tsiopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6860-9539","authenticated-orcid":false,"given":"Alar","family":"Kuusik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0700-7972","authenticated-orcid":false,"given":"J\u00fcri","family":"Vain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8882-4095","authenticated-orcid":false,"given":"Hayretdin","family":"Bahsi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,12,15]]},"reference":[{"key":"6_CR1","unstructured":"https:\/\/www.fairview.org\/patient-education\/116363EN, Accessed 15 August 2020"},{"key":"6_CR2","unstructured":"https:\/\/www.wired.com\/story\/pacemaker-hack-malware-black-hat\/"},{"key":"6_CR3","unstructured":"https:\/\/www.medtronic.com\/us-en\/healthcare-professionals\/products\/cardiac-rhythm\/managing-patients\/improved-outcomes\/remote-monitoring-options.html"},{"key":"6_CR4","unstructured":"Medtronic Azure MRI Surescan Pacemaker Reference Manual, https:\/\/www.medtronic.com\/us-en\/healthcare-professionals\/products\/cardiac-rhythm\/pacemakers\/azure.html"},{"key":"6_CR5","unstructured":"Medtronic Azure MRI Surescan Pacemaker Technical Manual. https:\/\/www.medtronic.com\/us-en\/healthcare-professionals\/products\/cardiac-rhythm\/pacemakers\/azure.html"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Ahmed, A., Hasan, O., Tahar, S., Mohamed, A.: Formal verification of energy consumption for an eeg monitoring wireless body area sensor network. In: 2016 International Conference on Open Source Systems Technologies (ICOSST), pp. 18\u201322. IEEE (2016)","DOI":"10.1109\/ICOSST.2016.7838331"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"Gerd Behrmann","year":"2004","unstructured":"Behrmann, Gerd., David, Alexandre, Larsen, Kim G.: A tutorial on Uppaal. In: Bernardo, Marco, Corradini, Flavio (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Ben Hamouda, R., Ben Hafaiedh, I.: Formal modeling and verification of a wireless body area network (WBAN) protocol: S-tdma protocol. In: 2017 International Conference on Internet of Things, Embedded Systems and Communications (IINTEC), pp. 72\u201377. IEEE (2017)","DOI":"10.1109\/IINTEC.2017.8325916"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Bulychev, P.E., et al.: UPPAAL-SMC: statistical model checking for priced timed automata. In: Wiklicky, H., Massink, M. (eds.) Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems (2012)","DOI":"10.4204\/EPTCS.85.1"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2016\/8797568","volume":"2016","author":"T Chen","year":"2016","unstructured":"Chen, T., Yu, Z., Li, S., Chen, B.: From wireless sensor networks to wireless body area networks: formal modeling and verification on security using pat. J. Sens. 2016, 1\u201311 (2016). https:\/\/doi.org\/10.1155\/2016\/8797568","journal-title":"J. Sens."},{"key":"6_CR11","doi-asserted-by":"publisher","unstructured":"Cronin, B., Maus, T.M., Khoche, S., Rozner, M.A.: Chapter 4 - cardiovascular implantable electronic device management in noncardiac surgery. In: Kaplan, J.A., Cronin, B., Maus, T.M. (eds.) Essentials of Cardiac Anesthesia for Noncardiac Surgery, pp. 70\u201399. Elsevier, New York (2019). https:\/\/doi.org\/10.1016\/B978-0-323-56716-9.00004-7, http:\/\/www.sciencedirect.com\/science\/article\/pii\/B9780323567169000047","DOI":"10.1016\/B978-0-323-56716-9.00004-7"},{"key":"6_CR12","doi-asserted-by":"publisher","unstructured":"Dai, S., Hong, M., Guo, B.: Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO. Int. J. Distrib. Sens. Networks 13(4) (2017). https:\/\/doi.org\/10.1177\/1550147717700900","DOI":"10.1177\/1550147717700900"},{"key":"6_CR13","unstructured":"Granjal, J., Monteiro, E., Silva, J.S.: End-to-end transport-layer security for internet-integrated sensing applications with mutual and delegated ECC public-key authentication. In: 2013 IFIP Networking Conference, pp. 1\u20139. IEEE (2013)"},{"key":"6_CR14","unstructured":"Hsu, C.L., Avudaiappan, R.: Bluetooth technology. Academia Sinica Computing Centre 18, (2002)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Hummen, R., Shafagh, H., Raza, S., Voig, T., Wehrle, K.: Delegation-based authentication and authorization for the IP-based internet of things. In: 2014 Eleventh Annual IEEE International Conference on Sensing, Communication, and Networking (SECON), pp. 284\u2013292 (2014)","DOI":"10.1109\/SAHCN.2014.6990364"},{"issue":"21","key":"6_CR16","doi-asserted-by":"publisher","first-page":"2077","DOI":"10.1001\/jama.2017.15692","volume":"318","author":"DB Kramer","year":"2017","unstructured":"Kramer, D.B., Fu, K.: Cybersecurity concerns and medical devices: lessons from a pacemaker advisory. JAMA 318(21), 2077\u20132078 (2017). https:\/\/doi.org\/10.1001\/jama.2017.15692","journal-title":"JAMA"},{"key":"6_CR17","unstructured":"Li, C., Raghunathan, A., Jha, N.K.: Hijacking an insulin pump: security attacks and defenses for a diabetes therapy system. In: 2011 IEEE 13th International Conference on e-Health Networking, Applications and Services, pp. 150\u2013156. IEEE (2011)"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1016\/j.procs.2018.04.064","volume":"130","author":"SR Moosavi","year":"2018","unstructured":"Moosavi, S.R., Nigussie, E., Levorato, M., Virtanen, S., Isoaho, J.: Performance analysis of end-to-end security schemes in healthcare IoT. Procedia Comput. Sci. 130, 432\u2013439 (2018)","journal-title":"Procedia Comput. Sci."},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Pajic, M., Jiang, Z., Lee, I., Sokolsky, O., Mangharam, R.: From verification to implementation: a model translation tool and a pacemaker case study. In: 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, pp. 173\u2013184. IEEE (2012)","DOI":"10.1109\/RTAS.2012.25"},{"issue":"6","key":"6_CR20","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1080\/17434440.2018.1483235","volume":"15","author":"L Pycroft","year":"2018","unstructured":"Pycroft, L., Aziz, T.Z.: Security of implantable medical devices with wireless connections: the dangers of cyber-attacks. Expert Rev. Med. Devices 15(6), 403\u2013406 (2018). https:\/\/doi.org\/10.1080\/17434440.2018.1483235","journal-title":"Expert Rev. Med. Devices"},{"issue":"suppl-1","key":"6_CR21","doi-asserted-by":"publisher","first-page":"i1","DOI":"10.1093\/europace\/euu300","volume":"17","author":"MP Raatikainen","year":"2015","unstructured":"Raatikainen, M.P., et al.: Statistics on the use of cardiac electronic devices and electrophysiological procedures in the European Society of Cardiology countries: 2014 report from the european heart rhythm association. EP Europace 17(suppl-1), i1\u2013i75 (2015). https:\/\/doi.org\/10.1093\/europace\/euu300","journal-title":"EP Europace"},{"key":"6_CR22","unstructured":"Rao, A., Rozenblit, J., Lysecky, R., Sametinger, J.: Composite risk modeling for automated threat mitigation in medical devices. In: Proceedings of the Symposium on Modeling and Simulation in Medicine, MSM 2017, pp. 1\u201310. Society for Computer Simulation International, San Diego, CA, USA (2017)"},{"key":"6_CR23","first-page":"1","volume":"6347","author":"E Rescorla","year":"2012","unstructured":"Rescorla, E., Modadugu, N.: Datagram transport layer security version 1.2. RFC 6347, 1\u201332 (2012)","journal-title":"RFC"},{"key":"6_CR24","doi-asserted-by":"publisher","unstructured":"Tarakji, K., et al.: P577 Early experience with the first pacemakers to directly connect with smart devices for remote monitoring. Eur. Heart J. 40(Supplement_1) (2019). https:\/\/doi.org\/10.1093\/eurheartj\/ehz747.0188, ehz747.0188","DOI":"10.1093\/eurheartj\/ehz747.0188"},{"issue":"24","key":"6_CR25","doi-asserted-by":"publisher","first-page":"2601","DOI":"10.1016\/j.jacc.2015.04.033","volume":"65","author":"N Varma","year":"2015","unstructured":"Varma, N., et al.: The relationship between level of adherence to automatic wireless remote monitoring and survival in pacemaker and defibrillator patients. J. Am. Coll. Cardiol. 65(24), 2601\u20132610 (2015). https:\/\/doi.org\/10.1016\/j.jacc.2015.04.033","journal-title":"J. Am. Coll. Cardiol."}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Body Area Networks. Smart IoT and Big Data for Intelligent Health"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-64991-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,4]],"date-time":"2022-12-04T21:28:21Z","timestamp":1670189301000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-64991-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030649906","9783030649913"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-64991-3_6","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"15 December 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BODYNETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"EAI International Conference on Body Area Networks","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tallinn","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Estonia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bodynets2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/bodynets.eai-conferences.org\/2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"ConfyPlus EAI","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"50% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}