Radiomic Features for Medical Images Tamper Detection by Equivalence Checking

被引：10

作者：

Brunese, Luca ^{[1
]}

Mercaldo, Francesco ^{[2
,4
]}

Reginelli, Alfonso ^{[3
]}

Santone, Antonella ^{[4
]}

机构：

[1] Univ Molise, Dept Med & Hlth Sci Vincenzo Tiberio, Campobasso, Italy

[2] Natl Res Council Italy CNR, Inst Informat & Telemat, Pisa, Italy

[3] Univ Campania Luigi Vanvitelli, Dept Precis Med, Naples, Italy

[4] Univ Molise, Dept Biosci & Terr, Pesche, IS, Italy

来源：

KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES 2019) | 2019年 / 159卷

关键词：

Formal Methods; Equivalence Checking; Radiomic; WATERMARKING TECHNIQUE; AUTHENTICATION; RECOVERY; SECURITY; REGION; CLOUD;

D O I：

10.1016/j.procs.2019.09.351

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Digital medical images are very easy to be modified for illegal purposes. An attacker may perform this act in order to stop a political candidate, sabotage research, commit insurance fraud, perform an act of terrorism, or even commit murder. Between the machine that performs medical scans and the radiologist monitor, medical images pass through different devices: in this chain an attacker can perform its malicious action. In this paper we propose a method aimed to avoid medical images modifications by means of equivalence checking. Magnetic images are represented as finite state automata and equivalence checking is exploited to check whether the medical resource have been subject to illegal modifications. (C) 2019 The Authors. Published by Elsevier B.V.

引用

页码：1795 / 1802

页数：8

共 44 条

[11]

Arumugham S., 2019, ARABIAN J SCI ENG, P1

[12]

Canfora G., 2018, IEEE T SOFTWARE ENG

[13] Composition-malware: building Android malware at run time [J].

Canfora, Gerardo ;

Mercaldo, Francesco ;

Moriano, Giovanni ;

Visaggio, Corrado Aaron .

PROCEEDINGS 10TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY ARES 2015, 2015, :318-326

[14] Cloud-assisted secure eHealth systems for tamper-proofing EHR via blockchain [J].

Cao, Sheng ;

Zhang, Gexiang ;

Liu, Pengfei ;

Zhang, Xiaosong ;

Neri, Ferrante .

INFORMATION SCIENCES, 2019, 485 :427-440

[15]

Carfora M.F., 2018, Stochastic Processes, P1

[16] De novo reconstruction of gene regulatory networks from time series data, an approach based on formal methods [J].

Ceccarelli, Michele ;

Cerulo, Luigi ;

Santone, Antonella .

METHODS, 2014, 69 (03) :298-305

[17] Blockchain-Based Medical Records Secure Storage and Medical Service Framework [J].

Chen, Yi ;

Ding, Shuai ;

Xu, Zheng ;

Zheng, Handong ;

Yang, Shanlin .

JOURNAL OF MEDICAL SYSTEMS, 2019, 43 (01)

[18] Tamper detection and restoring system for medical images using wavelet-based reversible data embedding [J].

Chiang, Kuo-Hwa ;

Chang-Chien, Kuang-Che ;

Chang, Ruey-Feng ;

Yen, Hsuan-Yen .

JOURNAL OF DIGITAL IMAGING, 2008, 21 (01) :77-90

[19] Talos: no more ransomware victims with formal methods [J].

Cimitile, Aniello ;

Mercaldo, Francesco ;

Nardone, Vittoria ;

Santone, Antonella ;

Visaggio, Corrado Aaron .

INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2018, 17 (06) :719-738

[20] Authentication and Recovery of Medical Diagnostic Image Using Dual Reversible Digital Watermarking [J].

Deng, Xiaohong ;

Chen, Zhigang ;

Zeng, Feng ;

Zhang, Yaoping ;

Mao, Yimin .

JOURNAL OF NANOSCIENCE AND NANOTECHNOLOGY, 2013, 13 (03) :2099-2107

← 1 2 3 4 5 →