Pages that link to "Item:Q3618832"
From MaRDI portal
The following pages link to The Shadow Knows: Refinement of Ignorance in Sequential Programs (Q3618832):
Displaying 15 items.
- Information flow in systems with schedulers. II: Refinement (Q383362) (← links)
- Compositional refinement in agent-based security protocols (Q432140) (← links)
- Compositional noninterference from first principles (Q432152) (← links)
- The shadow knows: refinement and security in sequential programs (Q923889) (← links)
- Using probabilistic Kleene algebra pKA for protocol verification (Q929968) (← links)
- Behaviour approximated on subgroups (Q1030197) (← links)
- Checking noninterference in timed CSP (Q1941887) (← links)
- Security invariants in discrete transition systems (Q1941889) (← links)
- Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754) (← links)
- Program algebra for quantitative information flow (Q2423771) (← links)
- Scheduler-Independent Declassification (Q2908558) (← links)
- How to Brew-up a Refinement Ordering (Q2994493) (← links)
- Algebra for Quantitative Information Flow (Q5283199) (← links)
- Preface (Q5970649) (← links)
- Program semantics and verification technique for AI-centred programs (Q6174548) (← links)