Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00074629
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 3:57:01 PM
Last modification on : Friday, July 10, 2020 - 4:25:26 PM
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

156

Files downloads

238