Unwinding Possibilistic Security Properties

DOI10.1007/10722599_15zbMath1487.68071OpenAlexW2131093318MaRDI QIDQ5862302

Heiko Mantel

Publication date: 7 March 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/10722599_15

zbMATH Keywords

refinementunwindinginformation flowsecurity models

Mathematics Subject Classification ID

Computer security (68M25)

Related Items (9)

The complexity of synchronous notions of information flow security ⋮ Verifying persistent security properties ⋮ Security of multi-agent systems: a case study on comparison shopping ⋮ Unnamed Item ⋮ Persistent Stochastic Non-Interference ⋮ On integrating confidentiality and functionality in a formal method ⋮ \textit{D\_PSNI}: delimited persistent stochastic non-interference ⋮ Quantifying Probabilistic Information Flow in Computational Reactive Systems ⋮ Computational Probabilistic Non-interference

Cites Work

• Non-interference through determinism
• Defining liveness
• Forward and backward simulations. I. Untimed Systems

This page was built for publication: Unwinding Possibilistic Security Properties