Algebra for Quantitative Information Flow

Annabelle McIver, Carroll C. Morgan, Tahiry M. Rabehaja. Algebra for Quantitative Information Flow. In Peter Höfner, Damien Pous, Georg Struth, editors, Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. Volume 10226 of Lecture Notes in Computer Science, pages 3-23, 2017. [doi]

Abstract

Abstract is missing.