A Secure User-Centred Healthcare System: Design and Verification

Eduard Baranov*, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber

*Corresponding author for this work

Research output: Chapter in Book/Published conference outputConference publication

Abstract

With ever increasing amounts of travel, it is essential to have access to a patient’s medical data from different sources including many jurisdictions. The Serums project addresses this goal by creating a healthcare sharing system that places privacy and security aspects at the center. This raises significant challenges to both maintain privacy and security of medical data and to allow for sharing and access. To address these strict requirements the Serums system design is supported by formal methods where design decisions are modelled and checked to meet safety and security properties. We report an experience in support of the system design with formal modelling with the Uppaal tool and analysis with exhaustive and statistical model checking. Results show that statistical model checking being a simulation-based technique can significantly improve feasibility of analysis while providing support for design decisions to ensure privacy and security.

Original languageEnglish
Title of host publicationFrom Data to Models and Back - 10th International Symposium, DataMod 2021, Revised Selected Papers
EditorsJuliana Bowles, Giovanna Broccia, Roberto Pellungrini
PublisherSpringer
Pages44-60
Number of pages17
ISBN (Electronic)978-3-031-16011-0
ISBN (Print)9783031160103
DOIs
Publication statusPublished - 15 Oct 2022
Event10th International Symposium on From Data Models and Back, DataMod 2021, held as a satellite event of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021 - Virtual, Online
Duration: 6 Dec 20217 Dec 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13268 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th International Symposium on From Data Models and Back, DataMod 2021, held as a satellite event of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021
CityVirtual, Online
Period6/12/217/12/21

Bibliographical note

Funding Information:
This research is funded by the EU H2020 project SERUMS (grant 826278). We thank Matthew Banton from the University of St Andrews for comments that greatly improved the platform security properties and Serums partners from Accenture and Sopra Steria for their help on the architectural diagrams design.

Keywords

  • Data sharing
  • Design verification
  • Formal modelling
  • Healthcare
  • Privacy
  • Security

Fingerprint

Dive into the research topics of 'A Secure User-Centred Healthcare System: Design and Verification'. Together they form a unique fingerprint.

Cite this