The following pages link to (Q4736985):
Displaying 6 items.
- Information flow in systems with schedulers. II: Refinement (Q383362) (← links)
- How to simulate it in Isabelle: towards formal proof for secure multi-party computation (Q1687724) (← links)
- A monadic analysis of information flow security with mutable state (Q4676158) (← links)
- Foundations of Software Science and Computation Structures (Q5308469) (← links)
- Perspectives of System Informatics (Q5902415) (← links)
- Branching bisimulation semantics enables noninterference analysis of reversible systems (Q6535463) (← links)