Formalising Privacy-Preserving Constraints in Microservices Architecture

Inna Vistbakka, Elena Troubitsyna

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review


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.
Titel på gästpublikation Formal Methods and Software Engineering
ISBN (tryckt)978-3-030-63405-6
StatusPublicerad - 2020
MoE-publikationstypA4 Artikel i en konferenspublikation
Evenemang22nd International Conference on Formal Engineering Methods -
Varaktighet: 1 mar 2021 → …


Namn Lecture Notes in Computer Science


Konferens22nd International Conference on Formal Engineering Methods
Förkortad titel ICFEM 2020
Period01/03/21 → …


Fördjupa i forskningsämnen för ”Formalising Privacy-Preserving Constraints in Microservices Architecture”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här