A Blockchain Based Proposal for Protecting Healthcare Systems through Formal Methods

Abstract Blockchain technology is one of the most important and disruptive technologies in the world. Multiple industries are adopting the blockchain technology to innovate the way they work. One of the industries that are looking to adopt the blockchain is the healthcare industry. In fact, the protection of the private information stored in hospital database is a critical issue. In this paper we propose a method aimed to protect information exchanged in hospital networks, with particular regard to magnetic resonance images. As required from blockchain technology, each host network must validate the transiting data network: we exploit formal equivalence checking to perform this validation, by modeling magnetic resonance images in terms of automata by exploiting radiomic features.

[1]  Aniello Cimitile,et al.  Talos: no more ransomware victims with formal methods , 2018, International Journal of Information Security.

[2]  Hae-Yeoun Lee,et al.  Region-based tampering detection and recovery using homogeneity analysis in quality-sensitive imaging , 2011, Comput. Vis. Image Underst..

[3]  Shanlin Yang,et al.  Blockchain-Based Medical Records Secure Storage and Medical Service Framework , 2018, Journal of Medical Systems.

[4]  Amit Kumar Singh,et al.  Multi-layer security of medical data through watermarking and chaotic encryption for tele-health applications , 2018, Multimedia Tools and Applications.

[5]  R. Eswaraiah,et al.  Robust medical image watermarking technique for accurate detection of tampers inside region of interest and recovering original region of interest , 2015, IET Image Process..

[6]  Jiangtao Wen,et al.  The IoT electric business model: Using blockchain technology for the internet of things , 2016, Peer-to-Peer Networking and Applications.

[7]  Chang-Hsing Lee,et al.  An adaptive digital image watermarking technique for copyright protection , 1999, IEEE Trans. Consumer Electron..

[8]  Nisar Ahmed Memon,et al.  Hybrid watermarking of medical images for ROI authentication and recovery , 2011, Int. J. Comput. Math..

[9]  Rengarajan Amirtharajan,et al.  Tamper-Resistant Secure Medical Image Carrier: An IWT–SVD–Chaos–FPGA Combination , 2019, Arabian Journal for Science and Engineering.

[10]  Ruey-Feng Chang,et al.  Tamper Detection and Recovery for Medical Images Using Near-lossless Information Hiding Technique , 2008, Journal of Digital Imaging.

[11]  Osamah M. Al-Qershi,et al.  Authentication and Data Hiding Using a Hybrid ROI-Based Watermarking Scheme for DICOM Images , 2011, Journal of Digital Imaging.

[12]  Nour El-Houda Golea,et al.  ROI-based fragile watermarking for medical image tamper detection , 2017 .

[13]  Sooyong Park,et al.  Where Is Current Research on Blockchain Technology?—A Systematic Review , 2016, PloS one.

[14]  Ruey-Feng Chang,et al.  Tamper Detection and Restoring System for Medical Images Using Wavelet-based Reversible Data Embedding , 2008, Journal of Digital Imaging.

[15]  R. Eswaraiah,et al.  Medical Image Watermarking Technique for Accurate Tamper Detection in ROI and Exact Recovery of ROI , 2014, International journal of telemedicine and applications.

[16]  Chun Kiat Tan,et al.  Security Protection of DICOM Medical Images Using Dual-Layer Reversible Watermarking with Tamper Detection Capability , 2011, Journal of Digital Imaging.

[17]  Miklos A. Vasarhelyi,et al.  Toward Blockchain-Based Accounting and Assurance , 2017, J. Inf. Syst..

[18]  Zhigang Chen,et al.  Authentication and recovery of medical diagnostic image using dual reversible digital watermarking. , 2013, Journal of nanoscience and nanotechnology.

[19]  Qingju Wang,et al.  When Intrusion Detection Meets Blockchain Technology: A Review , 2018, IEEE Access.

[20]  Bee Ee Khoo,et al.  Medical image authentication using SLT and IWT schemes , 2015, Multimedia Tools and Applications.