The following pages link to (Q3146271):
Displaying 5 items.
- Checking noninterference in timed CSP (Q1941887) (← links)
- Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) (← links)
- Parametric Timed Model Checking for Guaranteeing Timed Opacity (Q3297588) (← links)
- Synthesis of Non-Interferent Timed Systems (Q3648818) (← links)
- (Q4461952) (← links)