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.
Type de document :
Rapport
[Research Report] RR-2042, INRIA. 1993
Liste complète des métadonnées

https://hal.inria.fr/inria-00074629
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 15:57:01
Dernière modification le : jeudi 11 janvier 2018 - 06:21:20
Document(s) archivé(s) le : dimanche 4 avril 2010 - 22:00:37

Fichiers

Identifiants

  • HAL Id : inria-00074629, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

134

Téléchargements de fichiers

136