Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2016Model-based security verification for evolving systems
Jürjens, J.; Wenzel, S.; Poggenpohl, D.; Ochoa, M.
Conference Paper
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
2015Evolution of security engineering artifacts. A state of the art survey
Felderer, M.; Katt, B.; Kalb, P.; Jürjens, J.; Ochoa, M.; Paci, F.; Tran, M.S.L; Tun, T.T.; Yskout, K.; Scandariato, R.; Piessens, F.; Vanoverberghe, D.; Fourneret, E.; Gander, M.; Solhaug, B.; Breu, R.
Book Article
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
2012Non-interference on UML state-charts
Ochoa, M.; Jürjens, J.; Cuellar, J.
Conference Paper
2012A sound decision procedure for the compositionality of secrecy
Ochoa, M.; Jürjens, J.; Warzecha, D.
Conference Paper
2012Vérification et Test pour des systèmes évolutifs
Fourneret, E.; Bouquet, F.; Ochoa, M.; Jürjens, J.; S. Wenzel
Conference Paper
2011Incremental security verification for evolving UMLsec models
Jürjens, J.; Marchal, L.; Ochoa, M.; Schmidt, H.
Conference Paper
2011Model-based security verification and testing for smart-cards
Fourneret, E.; Ochoa, M.; Bouquet, F.; Botella, J.; Jürjens, J.; Yousefi, P.
Conference Paper
2011Modelling secure systems evolution: Abstract and concrete change specifications
Jürjens, J.; Ochoa, M.; Schmidt, H.; Marchal, L.; Houmb, S.H.; Islam, S.
Conference Paper