UKLThe University of Koblenz-Landau (UKL) is a young, medium-sized university with about 15,000 students located at two campuses in Koblenz and Landau, Germany. Its academic profile is marked by a combination of Computer Science and Psychology together with the traditional Departments of Education, the Humanities, and Natural Science.

Research at Koblenz and Landau is above all oriented towards practical application. The transfer of academic work through co-operation with partners from industry, commerce and administration is of great importance. As a young university it has the necessary openness and flexibility to respond to the demand for work in the realms of research, development, consultancy, and provision of expert opinion. Research is subject to strong growth; the outside funding for research at Koblenz-Landau has almost tripled from 2007 to 2012. It is conducted in nationally and internationally linked working groups. The University of Koblenz-Landau also works closely together with partners in the local area. What is characteristic is the balanced relationship between theoretical and applied research. The transfer of technology is one of the central tasks of the university and allows the systematic and planned utilisation of new scientific and technological knowledge in the economy, politics and society. The university of Koblenz-Landau also promotes business start-ups in academia and the development of an entrepreneurial culture.

According to the 2015/16 ranking by the Center for Higher Eduation Development (CHE) – the largest such ranking in Germany-, the Department of Computer Science was at the 4th place of all computer science departments in Germany wrt. the amount of research funding obtained and the number of publications published per professor.

The Institute for Software Technology (IST) is part of the Computer Science Department of the University of Koblenz-Landau, Campus Koblenz.  It emerged from the CASE research center, whose task was the construction of tools supporting the early stages of software development. Software Technology is concerned with the methodical development of, especially large, software systems. At the IST, concepts, methods, and tools for software development are being conceived and implemented.

The research group for Software Engineering lead by Prof. Jan Jürjens works in the field of software tool building targeted at IT security analyses. There has been a significant amount of work on building practically usable model-level security analysis tools in the context of Model-based Security Engineering, including a verification framework for UML models enriched with security properties through a UML profile called UMLsec. Supporting tools perform automated analysis on the UMLsec models for security and compliance properties.

Relevant EU or national Projects:

  • Bauer, J. Jürjens, Y. Yu. Run-Time Security Traceability for Evolving Systems. The Computer Journal, Oxford Univ. Press, 54/1, 2011, pp. 58–87.
  • Bürger, J. Jürjens, T. Ruhroth, S. Gärtner, K. Schneider: Model-based Security Engineering with UML: Managed Co-Evolution of Security Knowledge and Software Models in A. Aldini, J. Lopez, F. Martinelli (editors): “Foundations of Security Analysis and Design VII: FOSAD 2012/2013 Tutorial Lectures”. Lecture Notes in Computer Science Vol. 8604 . 2014
  • Gärtner, T. Ruhroth, J. Bürger, K. Schneider, J. Jürjens: Maintaining Requirements for Long-Living Software Systems by Incorporating Security Knowledge in “22nd IEEE International Requirements Engineering Conference”. 2014
  • H. Houmb, S. Islam, E. Knauss, J. Jürjens, K. Schneider. Eliciting Security Requirements and Tracing them to Design: An Integration of Common Criteria, Heuristics, and UMLsec. Requirements Engineering Journal (REJ), Springer-Verlag, vol. 15, no. 1, pp. 63–93, 2010.
  • Jürjens. Secure Systems Development with UML. Springer, Heidelberg, 2005, 309 pp. Chinese translation: Tsinghua University Press, Beijing (2009).

Role Infrastructure/technical equipment:

  • UKL has all the infrastructure available needed to perform the research activities planned for its participation in the project, including high-scale computing infrastructures to support the model-based security analysis and simulation tools to be developed.