A security proof system for networks of communicating processes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1993

A security proof system for networks of communicating processes

Jean-Pierre Banâtre
  • Function : Author
  • PersonId : 830960
Ciaran Bryce
  • Function : Author
  • PersonId : 833605

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-2042.pdf (634.98 Ko) Télécharger le fichier

Dates and versions

inria-00074629 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00074629 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More