کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4955633 1444270 2017 50 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Cardiac Implantable Medical Devices forensics: Postmortem analysis of lethal attacks scenarios
ترجمه فارسی عنوان
پزشکی قانونی دستگاه ایمپلنت قلبی: تجزیه و تحلیل پسماندهای سناریوهای مرگبار
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر شبکه های کامپیوتری و ارتباطات
چکیده انگلیسی
In this paper, we propose a digital investigation system for the postmortem analysis of lethal attack scenarios on cardiac IMDs. After developing a set of techniques allowing the secure storage of digital evidence logs which track the executed sensitive events, we implement an in-depth security solution allowing the protection of cardiac IMDs. An inference system integrating a library of medical rules is proposed to automatically infer potential medical scenarios that caused the patient's death, or that created heart-related emergency situations (through the occurrence of ventricular tachycardia for example). A Model Checking based formal technique to reconstruct potential technical attack scenarios on a cardiac IMD, starting from the collected evidence, is also proposed. The results obtained by the two proposed reasoning techniques (i.e., the inference system and the Model Checking based algorithm) are correlated to prove whether a potential attack scenario is responsible of the occurrence of heart-related emergency situations or the death of a patient. Based on the proposed techniques, we design a decision-support system that reconciles in the same framework the medical and technical investigation aspects.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Digital Investigation - Volume 21, June 2017, Pages 11-30
نویسندگان
, , , ,