Projects per year
Abstract
Hidden Markov Models, HMM's, are mathematical models of Markov processes whose state is hidden but from which information can leak via channels. They are typically represented as 3-way joint probability distributions. We use HMM's as denotations of probabilistic hidden-state sequential programs, after recasting them as 'abstract' HMM's, i.e. Computations in the Giry monad D, and equipping them with a partial order of increasing security. However to encode the monadic type with hiding over state X we use DX→D2X rather than the conventional X→DX. We illustrate this construction with a very small Haskell prototype. We then present uncertainty measures as a generalisation of the extant diversity of probabilistic entropies, and we propose characteristic analytic properties for them. Based on that, we give a 'backwards', uncertainty-transformer semantics for HMM's, dual to the 'forwards' abstract HMM's. Finally, we discuss the Dalenius desideratum for statistical databases as an issue in semantic compositionality, and propose a means for taking it into account.
Original language | English |
---|---|
Title of host publication | Proceedings - 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015 |
Place of Publication | Picataway, NJ |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Pages | 597-608 |
Number of pages | 12 |
ISBN (Electronic) | 9781479988754 |
ISBN (Print) | 9781479988471 |
DOIs | |
Publication status | Published - 31 Jul 2015 |
Event | 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015 - Kyoto, Japan Duration: 6 Jul 2015 → 10 Jul 2015 |
Publication series
Name | Annual Symposium on Logic in Computer Science |
---|---|
Publisher | IEEE Computer Society |
ISSN (Print) | 1043-6871 |
Other
Other | 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015 |
---|---|
Country | Japan |
City | Kyoto |
Period | 6/07/15 → 10/07/15 |
Fingerprint Dive into the research topics of 'Abstract hidden Markov models: a monadic account of quantitative information flow'. Together they form a unique fingerprint.
Projects
- 1 Finished
-
Making software more reliable using a new model for entropies of computers' internal state
McIver, A., Morgan, C. & Katoen, J. P.
16/02/12 → 31/12/17
Project: Research