Login / Signup
Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis.
Thomas Witte
Raffaela Groner
Alexander Raschke
Matthias Tichy
Irdin Pekaric
Michael Felderer
Published in:
SEAMS (2022)
Keyphrases
</>
security analysis
security model
lightweight
fine grained
formal model