Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Holger Schmidt  [Clear All Filters]
2011
Schmidt, H., and J. Jürjens, UMLsec4UML2 - Adopting UMLsec to Support UML2, , 02/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.