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 programs; noninterference

Mathematics Subject Classification ID

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

Related Items

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

Uses Software

• JFlow

Cites Work

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