An Algebraic Approach for Reasoning About Information Flow

Arthur Américo, Mário S. Alvim, Annabelle McIver

This paper concerns the analysis of information leaks in security systems. We address the problem of specifying and analyzing large systems in the (standard) channel model used in…