Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow

DOI10.1109/LICS.2015.61zbMath1401.68046MaRDI QIDQ4635839

Tahiry Rabehaja, Annabelle McIver, Carroll Morgan

Publication date: 23 April 2018

Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (6)

Algebra for Quantitative Information Flow ⋮ A note on distances between probabilistic and quantum distributions ⋮ A better composition operator for quantitative information flow analyses ⋮ Program algebra for quantitative information flow ⋮ Unnamed Item ⋮ A Formal Semantics of Influence in Bayesian Reasoning

This page was built for publication: Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow