Pages that link to "Item:Q4916056"
From MaRDI portal
The following pages link to Noninterference for Operating System Kernels (Q4916056):
Displaying 5 items.
- Eisbach: a proof method language for Isabelle (Q287365) (← links)
- Concerned with the unprivileged: user programs in kernel refinement (Q736848) (← links)
- Dynamic intransitive noninterference revisited (Q1688559) (← links)
- CoCon: a conference management system with formally verified document confidentiality (Q2031419) (← links)
- A parametric rely-guarantee reasoning framework for concurrent reactive systems (Q6535947) (← links)