Formalising Privacy-Preserving Constraints in Microservices Architecture

Inna Vistbakka, Elena Troubitsyna

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Abstrakti

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.
AlkuperäiskieliEnglanti
Otsikko Formal Methods and Software Engineering
KustantajaSpringer
Sivut308-317
ISBN (painettu)978-3-030-63405-6
DOI - pysyväislinkit
TilaJulkaistu - 2020
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
Tapahtuma22nd International Conference on Formal Engineering Methods -
Kesto: 1 maaliskuuta 2021 → …

Julkaisusarja

Nimi Lecture Notes in Computer Science

Konferenssi

Konferenssi22nd International Conference on Formal Engineering Methods
Lyhennettä ICFEM 2020
Ajanjakso01/03/21 → …

Sormenjälki

Sukella tutkimusaiheisiin 'Formalising Privacy-Preserving Constraints in Microservices Architecture'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Viittausmuodot