Pages that link to "Item:Q1603688"
From MaRDI portal
The following pages link to Noninterference for concurrent programs and thread systems (Q1603688):
Displaying 13 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)
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java (Q1749145) (← links)
- \textit{D\_PSNI}: delimited persistent stochastic non-interference (Q2049988) (← links)
- Finite-word hyperlanguages (Q2232276) (← 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)
- Finite-word hyperlanguages (Q6186311) (← links)
