Hidden-Markov program algebra with iteration

DOI10.1017/S0960129513000625MaRDI QIDQ5740625zbMATH OpenOpenAlexFDO

Authors Annabelle McIver, Larissa A. Meinicke, Carroll Morgan

Publication date 27 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129513000625

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Program algebra for quantitative information flow
• Abstract hidden Markov models: a monadic account of quantitative information flow
• Abstract hidden Markov models: a monadic account of quantitative information flow
• Information leakage of non-terminating processes
• Algebra for quantitative information flow

Cites work

• A framework for analyzing probabilistic protocols and its application to the partial secrets exchange
• A lattice-theoretical fixpoint theorem and its applications
• A probabilistic PDL
• A ratio limit theorem for the finite nonhomogeneous Markov chains
• Abstraction, Refinement and Proof for Probabilistic Systems
• An Alternative Order for the Failures Model
• Compositional closure for Bayes risk in probabilistic noninterference
• Compositional Methods for Information-Hiding
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 6846220 (Why is no real title available?)
• Information flow in interactive systems
• Jensen’s inequality
• Lexicon development for speech and language processing
• Pattern recognition and machine learning.
• Probabilistic models for the guarded command language
• Program development by stepwise refinement
• Quantitative notions of leakage for one-try attacks
• Real Analysis and Probability
• Refinement Calculus
• Termination of Probabilistic Concurrent Program
• The Legend of John Von Neumann
• The shadow knows: refinement and security in sequential programs

Cited in

(9)

• Abstractions of non-interference security: probabilistic versus possibilistic
• A better composition operator for quantitative information flow analyses
• An axiomatization of information flow measures
• Program algebra for quantitative information flow
• Quantifying information leakage of randomized protocols
• Abstract hidden Markov models: a monadic account of quantitative information flow
• Algebra for quantitative information flow
• Abstract hidden Markov models: a monadic account of quantitative information flow
• Probabilistic predicate transformers. II: Partially observable probability

This page was built for publication: Hidden-Markov program algebra with iteration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740625)