Abstract
The Coronavirus disease 2019 (COVID-19) is a pandemic that occurred in December 2019 and spread globally. Most of the current research is on how to apply deep learning to detect COVID-19, but little research has been done on the security of COVID-19 deep learning systems. Therefore, we test and verify the security of COVID-19 CT images deep learning system with adversarial attack. Firstly, we build a deep learning system for recognizing COVID-19 CT images. Secondly, adding imperceptible disturbance to CT images will lead to neural network classification errors. Finally, we discuss the application of formal methods and formal verification to deep learning systems. We hope to draw more attention from researchers to the application of formal methods and formal verification to artificial intelligence.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Li, H., Liu, Z., Ge, J.: Scientific research progress of COVID-19/SARS-CoV-2 in the first five months. J. Cell Mol. Med. 24(12), 6558–6570 (2020)
Ciotti, M., Ciccozzi, M., Terrinoni, A., et al.: The COVID-19 pandemic. Crit. Rev. Clin. Lab. Sci. 57(6), 365–388 (2020)
Orooji, Y., et al.: An Overview on SARS-CoV-2 (COVID-19) and other human coronaviruses and their detection capability via amplification assay, chemical sensing, biosensing, immunosensing, and clinical assays. Nano-Micro Lett. 13(1), 1–30 (2020). https://doi.org/10.1007/s40820-020-00533-y
Fang, Y., Zhang, H., Xie, J., et al.: Sensitivity of chest CT for COVID-19: comparison to RT-PCR. Radiology (2020)
Fields, B.K.K., Demirjian, N.L., Dadgar, H., et al.: Imaging of COVID-19: CT, MRI, and PET. Sem. Nuclear Med. WB Saunders 51(4), 312–320 (2021)
Tian, X.L., Peng, M., Wang, H.P., et al.: The differential diagnosis for novel coronavirus pneumonia and similar lung diseases in general hospitals. Chin. J. Tuberc. Respir. Dis. 43(5), E035 (2020)
Kumar, A., Gupta, P.K., Srivastava, A.: A review of modern technologies for tackling COVID-19 pandemic. Diab. Metab. Syndr. 14(4), 569–573 (2020)
Lalmuanawma, S., Hussain, J., Chhakchhuak, L.: Applications of machine learning and artificial intelligence for Covid-19 (SARS-CoV-2) pandemic: a review. Chaos Solitons Fractals 139, 110059 (2020)
Hemdan, E.E.D., Shouman, M.A., Karar, M.E.: Covidx-net: A framework of deep learning classifiers to diagnose covid-19 in x-ray images. arXiv preprint arXiv:2003.11055 (2020)
Jiang, Y., Chen, H., Loew, M., et al.: COVID-19 CT image synthesis with a conditional generative adversarial network. IEEE J. Biomed. Health Inform. 25(2), 441–452 (2020)
Simonyan, K., Zisserman, A.: Very deep convolutional networks for large-scale image recognition. arXiv preprint arXiv:1409.1556 (2014)
Redmon, J., Divvala, S., Girshick, R., et al.: You only look once: Unified, real-time object detection. In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, pp. 779–788 (2016)
Nassif, A.B., Shahin, I., Attili, I., et al.: Speech recognition using deep neural networks: a systematic review. IEEE Access 7, 19143–19165 (2019)
Yang, H., Wei, Q., Li, D., et al.: Cancer classification based on chromatin accessibility profiles with deep adversarial learning model. PLoS Comput. Biol. 16(11), e1008405 (2020)
Tunyasuvunakool, K., Adler, J., Wu, Z., et al.: Highly accurate protein structure prediction for the human proteome. Nature 596(7873), 590–596 (2021)
Esteva, A., Kuprel, B., Novoa, R.A., et al.: Dermatologist-level classification of skin cancer with deep neural networks. Nature 542, 115–118 (2017)
Szegedy, C., Zaremba, W., Sutskever, I., et al.: Intriguing properties of neural networks. arXiv preprint arXiv:1312.6199 (2013)
Carlini, N., Wagner, D.: Towards evaluating the robustness of neural networks. In: 2017 IEEE Symposium on Security and Privacy (sp). IEEE, pp. 39–57 (2017)
Goodfellow, I.J., Shlens, J., Szegedy, C.: Explaining and harnessing adversarial examples. arXiv preprint arXiv:1412.6572 (2014)
Kurakin, A., Goodfellow, I., Bengio, S.: Adversarial machine learning at scale. arXiv preprint arxiv:1611.01236 (2016)
Madry, A., Makelov, A., Schmidt, L., et al.: Towards deep learning models resistant to adversarial attacks. arXiv preprint arXiv:1706.06083 (2017)
Goodfellow, I., Pouget-Abadie, J., Mirza, M., et al.: Generative adversarial nets. Adv. Neural Inf. Process. Syst. 27 (2014)
Zhao, J., Zhang, Y., He, X., et al.: Covid-CT-dataset: a CT scan dataset about covid-19. arXiv preprint arXiv:2003.13865, 490 (2020)
He, K., Zhang, X., Ren, S., et al.: Deep residual learning for image recognition. In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, pp. 770–778 (2016)
Acknowledgment
The work is supported partially by JST SPRING, Grant Number JPMJSP2132.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Li, Y., Liu, S. (2023). Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack. In: Liu, S., Duan, Z., Liu, A. (eds) Structured Object-Oriented Formal Language and Method. SOFL+MSVL 2022. Lecture Notes in Computer Science, vol 13854. Springer, Cham. https://doi.org/10.1007/978-3-031-29476-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-031-29476-1_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-29475-4
Online ISBN: 978-3-031-29476-1
eBook Packages: Computer ScienceComputer Science (R0)