The following pages link to (Q4411972):
Displaying 5 items.
- Secure information flow connections (Q2141283) (← links)
- Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) (← links)
- Validating a web service security abstraction by typing (Q2576588) (← links)
- Union and Intersection Types for Secure Protocol Implementations (Q2902912) (← links)
- Abstract Certification of Global Non-interference in Rewriting Logic (Q3066121) (← links)