Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

FIfAKS

Formal Information-Flow Analysis of Component-Based Systems

The Project

A central question in IT Security is to ensure accessibility to sensible data for authorized people only. Furthermore, the use of component-based systems allows a modular design of software and inmproves the reusability of system parts.

Our goal is to perform security analysis of component-based systems during system design. We concentrate on confidentiality of information and aim for a correct method of analysis.

In cooperation with our project partner, we choose a real world example and provide a matching component model of the system. According to the system implementation, we refine the system into different parts and provide a specification reflecting the actual behaviour of the parts. Finally, we analyse the model with respect to security properties using methods from information-flow analysis.

The project is led by Prof. Bernhard Beckert and managed by Simon Greiner. It is part of the BMBF-funded Software Campus project. We cooperate with partners from DHL IT-Services.

People

Name Role Phone Email
Leader +49 721 608 44025 beckert1070153788Xfd4∂kit.edu
Manager +49 721 608 47318 simon.greiner1147321617Xfd4∂kit.edu
Member +49 721 608 45268 daniel.grahl1758647562Xfd4∂kit.edu
Member +49 721 608 43856 herda25843430Xfd4∂kit.edu


funded by; in cooperation with:
Bundesministerium für Bildung und Forschung Deutsche Post DHL