Project

MORES

Modelling and Refinement of Security Requirements on Data and Processes

  • Duration:
  • Research Topics
    Other
  • Application fields
    Other

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.

Sponsors

Deutsche Forschungsgemeinschaft (DFG)

Hu-737/5-1

Deutsche Forschungsgemeinschaft (DFG)

Share project:

Contact Person

Keyfacts

Publications about the project

Dieter Hutter

In: (editor). IT - information technology (IT) 6/2014 Pages 294-299 De Gruyter Berlin 12/2014.

To the publication
Dieter Hutter

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

To the publication
Dieter Hutter

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

To the publication

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