The following pages link to (Q4818731):
Displaying 6 items.
- Product programs in the wild: retrofitting program verifiers to check information flow security (Q832225) (← links)
- A semantic approach to secure information flow (Q1566911) (← links)
- Securing the Future — An Information Flow Analysis of a Distributed OO Language (Q2891392) (← links)
- Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation (Q4828445) (← links)
- A unified framework for concurrent security (Q5172711) (← links)
- Perspectives of System Informatics (Q5902415) (← links)