Security Engineering for Lifelong Evolvable Systems
Home

Publications

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