The picture archiving and communication system is a medical imaging technology used primarily in healthcare organizations to store and digitally transmit electronic images and clinically-relevant reports. As demonstrated, these systems can be exploited by malicious users: in fact, considering that medical images are not digitally encrypted, any medical image modifications would be difficult to detect for a radiologist. To mitigate this aspect, in this paper a formal modelisation for picture archiving and communication system systems is proposed. The main aim is to avoid illegal writing and reading from components that should not do it, by representing the system components in terms of automa.

Formal modeling for magnetic resonance images tamper mitigation

Brunese L.;Mercaldo F.;Santone A.
2019

Abstract

The picture archiving and communication system is a medical imaging technology used primarily in healthcare organizations to store and digitally transmit electronic images and clinically-relevant reports. As demonstrated, these systems can be exploited by malicious users: in fact, considering that medical images are not digitally encrypted, any medical image modifications would be difficult to detect for a radiologist. To mitigate this aspect, in this paper a formal modelisation for picture archiving and communication system systems is proposed. The main aim is to avoid illegal writing and reading from components that should not do it, by representing the system components in terms of automa.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11695/90729
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact