Katalog Plus
Bibliothek der Frankfurt UAS
Bald neuer Katalog: sichern Sie sich schon vorab Ihre persönlichen Merklisten im Nutzerkonto: Anleitung.
Dieses Ergebnis aus IEEE Xplore Digital Library kann Gästen nicht angezeigt werden.  Login für vollen Zugriff.

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

Title: Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems
Authors: Bergemann, Sebastian; Bayha, Andreas; Zhu, Derui; Sadeghi, Mohammad; Atkinson, Colin; Pretschner, Alexander
Source: 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) MODELS-C Model Driven Engineering Languages and Systems Companion (MODELS-C), 2025 ACM/IEEE 28th International Conference on. :345-356 Oct, 2025
Relation: 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
Database: IEEE Xplore Digital Library