A Secure User-Centred Healthcare System: Design and Verification

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

doi:10.1007/978-3-031-16011-0_4

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 output › Conference 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 language	English
Title of host publication	From Data to Models and Back - 10th International Symposium, DataMod 2021, Revised Selected Papers
Editors	Juliana Bowles, Giovanna Broccia, Roberto Pellungrini
Publisher	Springer
Pages	44-60
Number of pages	17
ISBN (Electronic)	978-3-031-16011-0
ISBN (Print)	9783031160103
DOIs	https://doi.org/10.1007/978-3-031-16011-0_4
Publication status	Published - 15 Oct 2022
Event	10th 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 2021 → 7 Dec 2021

Publication series

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

Conference

Conference	10th 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
City	Virtual, Online
Period	6/12/21 → 7/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

Access to Document

10.1007/978-3-031-16011-0_4

Cite this

Baranov, E., Bowles, J., Given-Wilson, T., Legay, A., & Webber, T. (2022). A Secure User-Centred Healthcare System: Design and Verification. In J. Bowles, G. Broccia, & R. Pellungrini (Eds.), From Data to Models and Back - 10th International Symposium, DataMod 2021, Revised Selected Papers (pp. 44-60). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13268 LNCS). Springer. https://doi.org/10.1007/978-3-031-16011-0_4

Baranov, Eduard ; Bowles, Juliana ; Given-Wilson, Thomas et al. / A Secure User-Centred Healthcare System : Design and Verification. From Data to Models and Back - 10th International Symposium, DataMod 2021, Revised Selected Papers. editor / Juliana Bowles ; Giovanna Broccia ; Roberto Pellungrini. Springer, 2022. pp. 44-60 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ba55dda5ecb74ea7beea43bcd917b78f,

title = "A Secure User-Centred Healthcare System: Design and Verification",

abstract = "With ever increasing amounts of travel, it is essential to have access to a patient{\textquoteright}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.",

keywords = "Data sharing, Design verification, Formal modelling, Healthcare, Privacy, Security",

author = "Eduard Baranov and Juliana Bowles and Thomas Given-Wilson and Axel Legay and Thais Webber",

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. ; 10th 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 ; Conference date: 06-12-2021 Through 07-12-2021",

year = "2022",

month = oct,

day = "15",

doi = "10.1007/978-3-031-16011-0_4",

language = "English",

isbn = "9783031160103",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "44--60",

editor = "Juliana Bowles and Giovanna Broccia and Roberto Pellungrini",

booktitle = "From Data to Models and Back - 10th International Symposium, DataMod 2021, Revised Selected Papers",

address = "Germany",

}

Baranov, E, Bowles, J, Given-Wilson, T, Legay, A & Webber, T 2022, A Secure User-Centred Healthcare System: Design and Verification. in J Bowles, G Broccia & R Pellungrini (eds), From Data to Models and Back - 10th International Symposium, DataMod 2021, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13268 LNCS, Springer, pp. 44-60, 10th 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, 6/12/21. https://doi.org/10.1007/978-3-031-16011-0_4

A Secure User-Centred Healthcare System: Design and Verification. / Baranov, Eduard; Bowles, Juliana; Given-Wilson, Thomas et al.
From Data to Models and Back - 10th International Symposium, DataMod 2021, Revised Selected Papers. ed. / Juliana Bowles; Giovanna Broccia; Roberto Pellungrini. Springer, 2022. p. 44-60 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13268 LNCS).

Research output: Chapter in Book/Published conference output › Conference publication

TY - GEN

T1 - A Secure User-Centred Healthcare System

T2 - 10th 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

AU - Baranov, Eduard

AU - Bowles, Juliana

AU - Given-Wilson, Thomas

AU - Legay, Axel

AU - Webber, Thais

N1 - 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.

PY - 2022/10/15

Y1 - 2022/10/15

N2 - 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.

AB - 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.

KW - Data sharing

KW - Design verification

KW - Formal modelling

KW - Healthcare

KW - Privacy

KW - Security

UR - http://www.scopus.com/inward/record.url?scp=85141674309&partnerID=8YFLogxK

UR - https://link.springer.com/chapter/10.1007/978-3-031-16011-0_4

U2 - 10.1007/978-3-031-16011-0_4

DO - 10.1007/978-3-031-16011-0_4

M3 - Conference publication

AN - SCOPUS:85141674309

SN - 9783031160103

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 44

EP - 60

BT - From Data to Models and Back - 10th International Symposium, DataMod 2021, Revised Selected Papers

A2 - Bowles, Juliana

A2 - Broccia, Giovanna

A2 - Pellungrini, Roberto

PB - Springer

Y2 - 6 December 2021 through 7 December 2021

ER -

Baranov E, Bowles J, Given-Wilson T, Legay A, Webber T. A Secure User-Centred Healthcare System: Design and Verification. In Bowles J, Broccia G, Pellungrini R, editors, From Data to Models and Back - 10th International Symposium, DataMod 2021, Revised Selected Papers. Springer. 2022. p. 44-60. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-16011-0_4