A secure user-centred healthcare system: design and verification

E. Baranov*, J. Bowles, T. Given-Wilson, A. Legay, T. Webber

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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
Subtitle of host publication10th international symposium, DataMod 2021 virtual event, December 6–7, 2021 revised selected papers
EditorsJuliana Bowles, Giovanna Broccia, Roberto Pellungrini
Place of PublicationCham
PublisherSpringer Science and Business Media
Number of pages17
ISBN (Electronic)9783031160110
ISBN (Print)9783031160103
Publication statusPublished - 7 Dec 2022
Event10th International Symposium DataMod 2021
- Online
Duration: 6 Dec 20217 Dec 2021

Publication series

NameLecture notes in computer science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference10th International Symposium DataMod 2021
Internet address


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


Dive into the research topics of 'A secure user-centred healthcare system: design and verification'. Together they form a unique fingerprint.

Cite this