Formalising Privacy-Preserving Constraints in Microservices Architecture

Inna Vistbakka, Elena Troubitsyna

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

2 Citations (Scopus)


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.
Original languageEnglish
Title of host publication Formal Methods and Software Engineering
ISBN (Print)978-3-030-63405-6
Publication statusPublished - 2020
MoE publication typeA4 Article in a conference publication
Event22nd International Conference on Formal Engineering Methods -
Duration: 1 Mar 2021 → …

Publication series

Name Lecture Notes in Computer Science


Conference22nd International Conference on Formal Engineering Methods
Abbreviated title ICFEM 2020
Period01/03/21 → …


Dive into the research topics of 'Formalising Privacy-Preserving Constraints in Microservices Architecture'. Together they form a unique fingerprint.

Cite this