Detecting violations of access control and information flow policies in data flow diagrams

Stephan Seifermann, Robert Heinrich, Dominik Werle, Ralf H. Reussner. Detecting violations of access control and information flow policies in data flow diagrams. Journal of Systems and Software, 184:111138, 2022. [doi]

Authors

Stephan Seifermann

This author has not been identified. Look up 'Stephan Seifermann' in Google

Robert Heinrich

This author has not been identified. Look up 'Robert Heinrich' in Google

Dominik Werle

This author has not been identified. Look up 'Dominik Werle' in Google

Ralf H. Reussner

This author has not been identified. Look up 'Ralf H. Reussner' in Google