An Algebraic Approach for Reasoning About Information Flow.

Arthur Amrico, Mrio S. Alvim, Annabelle McIver

Browse the full FM paper archive.