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.
Important Links
Palladio Software Architecture Simulator
KIT Center Information ˑ Systems ˑ Technologies