Noninterference for concurrent programs and thread systems
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1754606
- Typing noninterference for reactive programs
- Proving concurrent noninterference
- Noninterfering schedulers. When possibilistic noninterference implies probabilistic noninterference
- Compositional non-interference for concurrent programs via separation and framing
Cites work
- scientific article; zbMATH DE number 1670837 (Why is no real title available?)
- scientific article; zbMATH DE number 1670841 (Why is no real title available?)
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- scientific article; zbMATH DE number 1497867 (Why is no real title available?)
- scientific article; zbMATH DE number 1538026 (Why is no real title available?)
- scientific article; zbMATH DE number 1754606 (Why is no real title available?)
- A calculus of communicating systems
- Information flow inference for free
- Secrecy by typing in security protocols
- Transforming out timing leaks
Cited in
(23)- Compositional non-interference for concurrent programs via separation and framing
- scientific article; zbMATH DE number 2090840 (Why is no real title available?)
- Complexity information flow in a multi-threaded imperative language
- Securing interaction between threads and the scheduler in the presence of synchronization
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
- Finite-word hyperlanguages
- Noninterfering schedulers. When possibilistic noninterference implies probabilistic noninterference
- scientific article; zbMATH DE number 1754606 (Why is no real title available?)
- Typing noninterference for reactive programs
- Thread algebra for noninterference
- Non-disclosure for distributed mobile code
- Flow Policy Awareness for Distributed Mobile Code
- Typing access control and secure information flow in sessions
- A calculus of trustworthy ad hoc networks
- \textit{D\_PSNI}: delimited persistent stochastic non-interference
- Perspectives of System Informatics
- Linearity and bisimulation
- Finite-word hyperlanguages
- Formalizing probabilistic noninterference
- Securing the future -- an information flow analysis of a distributed OO language
- A type and effect system for determinism in multithreaded programs
- Fine-grained and coarse-grained reactive noninterference
- Computing a parametric reveals relation for bounded equal-conflict Petri nets
This page was built for publication: Noninterference for concurrent programs and thread systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1603688)
