Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 3 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Holger Schmidt  [Clear All Filters]
2011
Jürjens, J., L. Marchal, M. Ochoa, and H. Schmidt, "Incremental Security Verification for Evolving UMLsec models", Proc. of the 7th European Conference on Modelling Foundations and Applications (ECMFA'11), Birmingham, UK, pp. 52-68, 2011.
Heyman, T., K. Yskout, R. Scandariato, H. Schmidt, and Y. Yu, "The Security Twin Peaks", International Symposium on Engineering Secure Software and Systems, 2011.
Schmidt, H., and J. Jürjens, UMLsec4UML2 - Adopting UMLsec to Support UML2, , 02/2011.