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]

Abstract

Abstract is missing.