Pages that link to "Item:Q1603688"
From MaRDI portal
The following pages link to Noninterference for concurrent programs and thread systems (Q1603688):
Displayed 9 items.
- Typing access control and secure information flow in sessions (Q462485) (← links)
- A calculus of trustworthy ad hoc networks (Q470043) (← links)
- Securing interaction between threads and the scheduler in the presence of synchronization (Q843217) (← links)
- Typing noninterference for reactive programs (Q997991) (← links)
- Linearity and bisimulation (Q997996) (← links)
- Securing the Future — An Information Flow Analysis of a Distributed OO Language (Q2891392) (← links)
- Formalizing Probabilistic Noninterference (Q2938053) (← links)
- Non-disclosure for distributed mobile code (Q3103611) (← links)
- Flow Policy Awareness for Distributed Mobile Code (Q3184665) (← links)