Skip to Main content Skip to Navigation

A security proof system for networks of communicating processes

Jean-Pierre Banâtre 1 Ciaran Bryce 1
1 LSP - Langages et Systèmes Parallèles
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : Information flow control mechanisms detect and prevent transfers of information which violate the security constraints placed on a system. In this paper we study a programming language based approach to flow control in a system of communicating processes. The language chosen to present these ideas is CSP. We give the "security semantics" of CSP and show, with the aid of two examples, how the semantics can be used to conduct security proofs of parallel programmes.
Document type :
Complete list of metadata
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 3:57:01 PM
Last modification on : Tuesday, June 15, 2021 - 4:26:08 PM
Long-term archiving on: : Sunday, April 4, 2010 - 10:00:37 PM


  • HAL Id : inria-00074629, version 1


Jean-Pierre Banâtre, Ciaran Bryce. A security proof system for networks of communicating processes. [Research Report] RR-2042, INRIA. 1993. ⟨inria-00074629⟩



Record views


Files downloads