The Shadow Knows: Refinement of Ignorance in Sequential Programs
From MaRDI portal
Publication:3618832
DOI10.1007/11783596_21zbMath1235.68058OpenAlexW1600990450MaRDI QIDQ3618832
Publication date: 2 April 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11783596_21
Related Items
Algebra for Quantitative Information Flow ⋮ Scheduler-Independent Declassification ⋮ Information flow in systems with schedulers. II: Refinement ⋮ Program algebra for quantitative information flow ⋮ Checking noninterference in timed CSP ⋮ Security invariants in discrete transition systems ⋮ Program semantics and verification technique for AI-centred programs ⋮ Compositional refinement in agent-based security protocols ⋮ Compositional noninterference from first principles ⋮ The shadow knows: refinement and security in sequential programs ⋮ Using probabilistic Kleene algebra pKA for protocol verification ⋮ How to Brew-up a Refinement Ordering ⋮ Abstractions of non-interference security: probabilistic versus possibilistic ⋮ Preface ⋮ Behaviour approximated on subgroups