The following pages link to Computer Science Logic (Q5311263):
Displaying 9 items.
- `Non-interference' implies equality (Q733776) (← links)
- Redundant proofs of non-interference in Levin-Gries CSP program proofs (Q1077917) (← links)
- Noninterference in a predicative polymorphic calculus for access control (Q2339144) (← links)
- (Q3223330) (← links)
- Abstract non-interference (Q3452260) (← links)
- A Proof System for Abstract Non-interference (Q3553917) (← links)
- Abstract Program Slicing (Q5278199) (← links)
- Typed Lambda Calculi and Applications (Q5704026) (← links)
- Improving dynamic code analysis by code abstraction (Q6646291) (← links)