Jean-Pierre Banatre, Ciaran Bryce  Home/Search
Context Related
| krasse.ce.chalmers.se/S...RR2042.ps.gz ce.chalmers.se/~stefanp...RR2042.ps.gz inria.fr/INRIA/publicat...RR2042.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: krasse.ce.chalmers.se/S...sec_bib (more) From: ce.chalmers.se/~stefanp...sec_bib (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. Key-words: information flow... (Update)
Context of citations to this paper: More
.... we present our inference rules for a small imperative language which is a restriction to the sequential part of the language considered in [5]. We suggest in the conclusion how our techniques can be applied to a complete version of CSP. 4 J.P. Banatre, C. Bryce D. Le M...
...to be associated with variables but we check that the value of one particular variable cannot flow into another variable. We have shown in [4] that this approach provides more flexibility in the choice of a particular security policy. Our algorithm could in fact be applied to...
Cited by: More
Compile-Time Detection of Information Flow in.. - Banâtre.. (1994) (Correct)
Mechanical Proofs of Security Properties - Banâtre, al. (1994) (Correct)
Similar documents (at the sentence level):
17.7%: An Approach to Information Security in Distributed Systems - Bryce, Banâtre.. (1995) (Correct)
Active bibliography (related documents): More All
0.4: Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (Correct)
0.3: A Verifiable Secure Distributed System - Alves-Foss (Correct)
0.3: Security Design In Distributed Computing Applications - Zeleznik (1993) (Correct)
Similar documents based on text: More All
0.3: From High Level Programming Model to FPGA Machines - Banâtre, Lavenier.. (Correct)
0.3: Scaling Heterogeneous Databases and the Design of DISCO - Tomasic, Raschid, Valduriez (1996) (Correct)
0.3: An Architecture For Tolerating Processor Failures In.. - Banâtre, al. (1993) (Correct)
Related documents from co-citation: More All
2: Compilers-Principles, Techniques, and Tools (context) - Aho, Sethi et al. - 1986
2: Communicating Sequential Processes (context) - Hoare - 1985
2: The Enforcement of Security Policies for Computations (context) - Lipton - 1975
BibTeX entry: (Update)
Banatre (J.-P.) and C. Bryce, (C.), "A security proof system for networks of communicating processes", Irisa research report, no 744, June 1993. http://citeseer.ist.psu.edu/article/bryce93security.html More
@techreport{ banatre93security,
author = "Jean-Pierre Banatre and Ciaran Bryce",
title = "A Security Proof System for Networks of Communicating Processes",
year = "1993",
url = "citeseer.ist.psu.edu/article/bryce93security.html" }
Citations (may not include all citations):194 The Protection of Information in Computer Systems (context) - Schroeder - 1975
158 Certification of Programs for Secure Information Flow (context) - Denning - 1977
93 The Chinese Wall Security Policy (context) - Nash - 1989
54 An Axiomatic Approach to Information Flow in Programs (context) - Reitman - 1980
39 A Logical View of Secure Dependencies (context) - Cuppens - 1992
33 A Proof System for Communicating Sequential Processes (context) - Francez, De Roever - 1980
32 A Distributed Secure System - Rushby - 1983
12 Information Flow Control in a Distributed Object-Oriented Sy.. - Oldehoeft - 1988
6 The Enforcement of Security Policies for Computations (context) - Lipton - 1975
3 A Security Control Flow Control Algorithm and Its Denotation.. (context) - Schmidt - 1992
3 A Secure Distributed Operating System (context) - Vinter, Weber et al. - 1988
1 Formal Justification of a Proof System for Communicating Seq.. (context) - Proof, Parallel et al. - 1983
Documents on the same site (http://krasse.ce.chalmers.se/Security/sec_bib.html): More
On Simple and Secure Key Distribution - Tsudik, Van Herreweghen (1993) (Correct)
PASSWORD - R2.5: Certification Authority Requirements - Roe (1992) (Correct)
Amending Leighton and Micali's Key Distribution Protocol - Zheng (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC