A Unified Model to Detect Information Flow and Access Control Violations in Software Architectures.

Stephan Seifermann, Robert Heinrich, Dominik Werle, Ralf Reussner

Browse the full SECRYPT paper archive.