Quantitative Information Flow Control by Construction for Component-Based Systems

Rasmus Carl Rønneberg

Secure software architecture is increasingly important in a data-driven world. When security is neglected sensitive information might leak through unauthorized access. To mitigate…