Matthew Hennessy  Home/Search
Context Related
| cogs.susx.ac.uk/pub/rep...cs052000.ps.Z 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: cristal.inria.fr/~fpott...english (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The security -calculus is a typed version of the asynchronous -calculus in which the types, in addition to constraining the input/output behaviour of processes, have security levels associated with them. This enables us to introduce a range of typing disciplines which allow input or output behaviour, or both, to be bounded above or below by a given security level. (Update)
Context of citations to this paper: More
...a type system which enjoys subject reduction, but do not establish any kind of security property. Hennessy and Riely [9] and Hennessy [8] base their non interference statements on may or must testing equivalence; a statement based on a stronger notion of process...
Cited by: More
Type-Based Information Flow Analysis for the Pi-Calculus - Kobayashi (2003) (Correct)
Confining Data and Processes in Global Computing Applications - De Nicola, Gorla, Pugliese (2004) (Correct)
A Simple View of Type-Secure Information Flow in the π-Calculus - Pottier (2002) (Correct)
Active bibliography (related documents): More All
0.8: Information Flow vs. Resource Access in the Asynchronous.. - Hennessy, Riely (2000) (Correct)
0.8: Information Flow vs. Resource Access in the Asynchronous.. - Hennessy, Riely (2000) (Correct)
0.2: Boxed Ambients - Bugliesi, Castagna, Crafa (2001) (Correct)
Similar documents based on text: More All
0.1: A Comparison of Additivity Axioms in Timed Transition.. - Jeffrey, Schneider.. (1993) (Correct)
0.1: A Typed, Prioritized Process Algebra - Jeffrey (1993) (Correct)
0.1: Parametricity as Isomorphism - Robinson (1993) (Correct)
Related documents from co-citation: More All
3: Secure information flow in a multi-threaded imperative language - Volpano, Smith - 1998
3: A Core Calculus of Dependency - Abadi, Banerjee et al. - 1999
3: A uniform type structure for secure information flow - Honda, Yoshida - 2002
BibTeX entry: (Update)
M. Hennessy. The security picalculus and noninterference. Technical Report http://citeseer.ist.psu.edu/hennessy00security.html More
@techreport{ hennessy00security,
author = "Matthew Hennessy",
title = "The security pi-calculus and non-interference",
number = "2000:05",
year = "2000",
url = "citeseer.ist.psu.edu/hennessy00security.html" }
Citations (may not include all citations):299 An Algebraic Theory of Processes (context) - Hennessy - 1988
170 Security policies and security models (context) - Goguen, Meseguer - 1992
167 Resource access control in systems of mobile agents - Riely, Hennessy - 1998
149 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
114 The Polymorphic Pi-Calculus: Theory and Implementation - Turner - 1995
70 On asynchronous communication semantics - Honda, Tokoro - 1992
66 Graph types for monadic mobile processes - Yoshida - 1996
56 INRIA-Sophia Antipolis (context) - Boudol, the et al. - 1992
56 Behavioral equivalence in the polymorphic pi-calculus - Pierce, Sangiorgi - 1997
48 Non-interference for the analysis of cryptographic protocols - Focardi, Gorrieri et al. - 2000
47 Process algebra and non-interference - Ryan, Schneider - 1997
45 Non-interference through determinism (context) - Roscoe, Woodcock et al. - 1994
38 Secure information ow in a multi-threaded imperative languag.. (context) - rey, Dennis - 1998
24 Secrecy by typing in security protocols (context) - Abadi - 1997
24 Secure computer system: Uni ed exposition and multics interp.. (context) - Bell, LaPadula - 1975
17 A classi cation of security properties for process algebras (context) - Focardi, Gorrieri - 1995
12 Secure information ow as typed process behaviour (context) - Honda, Vasconcelos et al. - 2000
11 Testing theories for asynchronous languages - Castellani, Hennessy - 1998
5 Non interference: Past (context) - Focardi, Gorrieri - 1997
4 Mobile logics for mobile processes (context) - Milner, Parrow et al. - 1993
Documents on the same site (http://cristal.inria.fr/~fpottier/biblio/english.html): More
Satisfying Subtype Inequalities in Polynomial Space - Frey (1997) (Correct)
The SLam Calculus: Programming with Secrecy and Integrity - Heintze, Riecke (1998) (Correct)
Subtyping-Constraint-Based Type Inference With Conditional.. - Pottier (1999) (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