A Secure User-Centred Healthcare System: Design and Verification
(2021) 10th International Symposium “From Data to Models and Back” — Location: Virtual (6.December.2021)
Files
main.pdf
preprint
Open Access - Adobe PDF
- 3.13 MB
Details
- Authors
- 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.
- Affiliations
Citations
Baranov, E., Bowles, J., Given-Wilson, T., Legay, A., & Webber, T. (2021). A Secure User-Centred Healthcare System: Design and Verification. LNCS, 13268. https://doi.org/10.1007/978-3-031-16011-0_4 (Original work published 2022)