Non-termination and secure information flow

DOI10.1017/S0960129511000181zbMath1236.68051OpenAlexW2104258858MaRDI QIDQ3103612

No author found.

Publication date: 8 December 2011

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

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

zbMATH Keywords

Denning restrictionsfast probabilistic simulation on Markov chains

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Markov processes (60J99)

Cites Work

• Unnamed Item
• Unnamed Item
• Bisimulation through probabilistic testing
• Comparative branching-time semantics for Markov chains
• Certification of programs for secure information flow
• Computational Secrecy by Typing for the Pi Calculus

This page was built for publication: Non-termination and secure information flow