The following pages link to (Q4798025):
Displayed 4 items.
- A comparison of semantic models for noninterference (Q604479) (← 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)
- On Intransitive Non-interference in Some Models of Concurrency (Q3092180) (← links)