KIT | KIT-Bibliothek | Impressum | Datenschutz

Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems

Bergemann, Sebastian 1; Bayha, Andreas; Zhu, Derui; Sadeghi, Mohammad; Atkinson, Colin; Pretschner, Alexander
1 Technische Universität München (TUM)


Originalveröffentlichung
DOI: 10.1109/MODELS-C68889.2025.00053
Zugehörige Institution(en) am KIT Technische Universität München (TUM)
Publikationstyp Proceedingsbeitrag
Publikationsdatum 05.10.2025
Sprache Englisch
Identifikator ISBN: 979-8-3315-7991-3
KITopen-ID: 1000188747
Erschienen in 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Grand Rapids, MI, USA, 05-10 October 2025
Veranstaltung 28th ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (2025), Grand Rapids, MI, USA, 05.10.2025 – 10.10.2025
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Seiten 345–356
Nachgewiesen in OpenAlex
Dimensions
KIT – Die Universität in der Helmholtz-Gemeinschaft
KITopen Landing Page