Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2016UMLchange - specifying model changes with to support security verification of potential evolution
Wenzel, S.; Poggenpohl, D.; Warzecha, D.; Jürjens, J.; Ochoa, M.
Conference Paper
2014Specifying model changes with UMLchange to support security verification of potential evolution
Wenzel, Sven; Warzecha, Daniel; Jürjens, Jan; Ochoa, Martin; Poggenpohl, Daniel
Journal Article
2012A sound decision procedure for the compositionality of secrecy
Ochoa, M.; Jürjens, J.; Warzecha, D.
Conference Paper