KIT | KIT-Bibliothek | Impressum | Datenschutz

Consistency Management for Security Annotations for Continuous Verification

Reiche, Frederik; Weber, Thomas ORCID iD icon; Becker, Simeon; Weber, Sebastian; Heinrich, Robert; Burger, Erik ORCID iD icon


Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2024
Sprache Englisch
Identifikator KITopen-ID: 1000173493
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Erschienen in ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
Veranstaltung 27th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2024), Lienz, Österreich, 22.09.2024 – 27.09.2024
Bemerkung zur Veröffentlichung in press
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page