Serums Healthcare System: Completed and Secured
(2022) 4th International Workshop on Adaptive and Personalized Privacy and Security — Location: Barcelona,Spain/Virtual (7.July.2022)
Files
apps2022-presentation.pdf
Presentation
Open Access - Adobe PDF
- 2.49 MB
Details
- Authors
- Abstract
- With software systems having access to private data, their verification becomes an essential part of the development. The Serums project aims to build a secure and transparent medical data sharing platform. Due to the operation with sensitive data, guarantees of platform correctness and data privacy are required. The verification of the platform is supported by formal methods capable to check that the system meets the desired properties. We report our experience in the verification of the Serums platform with Statistical Model Checking. We present a model of the platform created with the Uppaal SMC tool and describe the verification process. Results show the scalability and the utility of Statistical Model Checking for the verification of real-world projects.
- Affiliations
Citations
Baranov, E., & Legay, A. (2022). Serums Healthcare System: Completed and Secured. 4th International Workshop on Adaptive and Personalized Privacy and Security, Barcelona,Spain/Virtual. https://hdl.handle.net/2078.5/231446