The following pages link to (Q4798025):
Displayed 9 items.
- A comparison of semantic models for noninterference (Q604479) (← links)
- On integrating confidentiality and functionality in a formal method (Q736833) (← links)
- Securing interaction between threads and the scheduler in the presence of synchronization (Q843217) (← links)
- Integration of a security type system into a program logic (Q935469) (← links)
- CoCon: a conference management system with formally verified document confidentiality (Q2031419) (← links)
- On Intransitive Non-interference in Some Models of Concurrency (Q3092180) (← links)
- Timing-Sensitive Noninterference through Composition (Q3304803) (← links)
- Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)
- Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets (Q5268427) (← links)