Projekt

MORES

Modelling and Refinement of Security Requirements on Data and Processes

  • Laufzeit:
  • Forschungsthemen
    Sonstige
  • Anwendungsfelder
    Sonstige

The project MoReS aims at the transfer and enhancement of existing information-flow control techniques for the development of secure systems using the example of decision support systems in the area of public security. The security requirements of these systems are not only concerned with the confidentiality or integrity of data but also formulate restrictions on processes running in the system.

In MoReS we will develop in particular a framework to deal with these different types of requirements in a uniform formal way. We will investigate how these requirements can be refined during the system development process and decomposed along the components of the underlying architecture of the system under development. In particular we will develop techniques to decompose and compose security properies within service-oriented architectures used in the decision-support systems and analyse and adapt existing verification techniques to cope with the arising security requirements.

Fördergeber

Deutsche Forschungsgemeinschaft - DFG

Hu-737/5-1

Deutsche Forschungsgemeinschaft - DFG

Projekt teilen auf:

Ansprechpartner

Keyfacts

Publikationen zum Projekt

Thomas Bauereiß, Dieter Hutter

In: Heiko Mantel (Hrsg.). IT - information technology (IT) 6/2014 Seiten 294-299 De Gruyter Berlin 12/2014.

Zur Publikation
Thomas Bauereiß, Dieter Hutter

In: F. Cuppens, N. Cuppens-Boulahia (Hrsg.). IFIP SEC 2014 International Information Security and Privacy Conference. IFIP International Information Security and Privacy Conference (SEC-2014) June 2-4 Marrakech Morocco Seiten 250-256 IFIP Advances in Information and Communication Technology Springer 2014.

Zur Publikation
Thomas Bauereiß, Dieter Hutter

In: First International Workshop on Graphical Models for Security. International Workshop on Graphical Models for Security (GramSec-2014) befindet sich European Joint Conferences on Theory and Practice of Software April 5-13 Grenoble France EPTCS 148 Electronic Proceedings in Theoretical Computer Science 2014.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence