Noninterference for concurrent programs and thread systems

DOI10.1016/S0304-3975(02)00010-5zbMath0997.68022MaRDI QIDQ1603688

Ilaria Castellani, Gérard Boudol

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

concurrent programsnoninterference

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (13)

Securing the Future — An Information Flow Analysis of a Distributed OO Language ⋮ Securing interaction between threads and the scheduler in the presence of synchronization ⋮ Flow Policy Awareness for Distributed Mobile Code ⋮ Formalizing Probabilistic Noninterference ⋮ Typing access control and secure information flow in sessions ⋮ A calculus of trustworthy ad hoc networks ⋮ Finite-word hyperlanguages ⋮ Specification and static enforcement of scheduler-independent noninterference in a middleweight Java ⋮ Finite-word hyperlanguages ⋮ Typing noninterference for reactive programs ⋮ Linearity and bisimulation ⋮ \textit{D\_PSNI}: delimited persistent stochastic non-interference ⋮ Non-disclosure for distributed mobile code

Uses Software

• JFlow

Cites Work

• A calculus of communicating systems
• Information flow inference for free
• Secrecy by typing in security protocols
• Transforming out timing leaks
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Noninterference for concurrent programs and thread systems