Consistency Management for Security Annotations for Continuous Verification
Reiche, Frederik; Weber, Thomas
; Becker, Simeon; Weber, Sebastian; Heinrich, Robert; Burger, Erik
; Becker, Simeon; Weber, Sebastian; Heinrich, Robert; Burger, Erik
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2024 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000173493 |
| Erschienen in | ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) |
| Veranstaltung | 27th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems (MoDELS 2024), Linz/Vienna, 22.09.2024 – 27.09.2024 |
| Bemerkung zur Veröffentlichung | in press |