Home | Sitemap | Contact | Legals | Data Protection | KIT

Since 1 January 2021, the chair for Software Design and Quality is part of the KASTEL institute as the Dependability of Software-intensive Systems group. Please visit our new homepage at https://dsis.kastel.kit.edu.

New journal paper in Journal of Systems & Software

Ralf Reussner Robert Heinrich Stephan Seifermann Dominik Werle News SDQ

New journal paper by Stephan Seifermann, Robert Heinrich, Dominik Werle and Ralf Reussner in Journal of Systems & Software.

The paper entitled "Detecting Violations of Access Control and Information Flow Policies in Data Flow Diagrams" has been published in Journal of Systems & Software. The paper is about considering confidentiality in early software designs given as data flow diagrams. The presented approach allows designers to model and analyze systems using various commonly used confidentiality policies. The paper is freely available as an open access publication.