Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems.

Kateryna Yurchenko, Moritz Behr, Heiko Klare, Max E. Kramer, Ralf Reussner

Browse the full MODELS paper archive.