McIver, A. K.; Morgan, C. C.; Rabehaja, T. Program algebra for quantitative information flow. (English) Zbl 1423.68106 J. Log. Algebr. Methods Program. 106, 55-77 (2019). MSC: 68N30 68P30 68Q55 68Q87 PDFBibTeX XMLCite \textit{A. K. McIver} et al., J. Log. Algebr. Methods Program. 106, 55--77 (2019; Zbl 1423.68106) Full Text: DOI
McIver, A. K.; Morgan, C. C.; Rabehaja, T. Algebra for quantitative information flow. (English) Zbl 1486.68044 Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 3-23 (2017). MSC: 68N30 68P30 68Q55 68Q87 PDFBibTeX XMLCite \textit{A. K. McIver} et al., Lect. Notes Comput. Sci. 10226, 3--23 (2017; Zbl 1486.68044) Full Text: DOI