@inproceedings{2321aa4d5b514612b63c3dabf71e0328,
title = "Formalising Privacy-Preserving Constraints in Microservices Architecture",
abstract = "Microservices is an architectural style that promotes structuring an application as a collection of loosely coupled fine-grained services. Since each microservice typically accesses different data, while composing complex applications it is hard to monitor which data are getting accessed in the entire application workflow. This raises a serious concern over the privacy protection especially in such a domain as health care. In this paper, we propose a formal Event-B based approach to analysing privacy preservation constraints in the applications developed in the microservices architectural style.",
author = "Inna Vistbakka and Elena Troubitsyna",
note = "Har kontaktat
[email protected] 18.2.21 ; 22nd International Conference on Formal Engineering Methods, ICFEM 2020 ; Conference date: 01-03-2021",
year = "2020",
doi = "10.1007/978-3-030-63406-3_19",
language = "English",
isbn = "978-3-030-63405-6",
series = " Lecture Notes in Computer Science",
publisher = "Springer",
pages = "308--317",
booktitle = "Formal Methods and Software Engineering",
}