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

https://hal.inria.fr/inria-00074629
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

Identifiers

  • HAL Id : inria-00074629, version 1

Citation

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

Share

Metrics

Record views

79

Files downloads

111