Skip to Main content Skip to Navigation
New interface
Reports (Research report)

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, INRIA Rennes
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 :
Reports (Research report)
Complete list of metadata
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 3:57:01 PM
Last modification on : Wednesday, October 26, 2022 - 8:16:41 AM
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