Gérard Boudol, Ilaria Castellani  Home/Search
Context Related
| sop.inria.fr/mimosa/...gboictcs.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: sop.inria.fr/mi...inpublications (more) Homepages: I.Castellani |
Rate this article:      (best)Comment on this article |
Abstract: We propose a type system to ensure the property of noninterference in a system of concurrent programs, described in a standard imperative language enriched with parallelism. Our proposal is in the line of some recent work by Irvine, Volpano and Smith. Our type system seems more natural and less restrictive than that originally presented by these authors for the concurrent case. Moreover, we show how to extend the language in order to formalise scheduling policies for systems of sequential... (Update)
Cited by: More
Typing Noninterference for Reactive Programs - Matos, Boudol, Castellani (2004) (Correct)
Report March 2003 - February 2004 - Ana Almeida Matos (2004) (Correct)
Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (Correct)
Similar documents (at the sentence level):
29.9%: Noninterference for Concurrent Programs - Boudol, Castellani (2001) (Correct)
Active bibliography (related documents): More All
1.7: Noninterference for Concurrent Programs and Thread Systems - Boudol, Castellani (2001) (Correct)
0.5: Static Confidentiality Enforcement for Distributed Programs - Sabelfeld, Mantel (2002) (Correct)
0.3: A Uniform Type Structure for Secure Information Flow - Honda, Yoshida (2002) (Correct)
Similar documents based on text: More All
0.4: On Bisimulations for the Asynchronous π-Calculus - Amadio, Castellani, Sangiorgi (1996) (Correct)
0.2: Parallel Product Of Event Structures - Castellani, Zhang (1997) (Correct)
0.2: Une brève biographie scientifique de Maurice Nivat - Curien (2001) (Correct)
Related documents from co-citation: More All
10: A new type system for secure information flow - Smith - 2001
9: Probabilistic noninterference in a concurrent language - Volpano, Smith - 1998
8: Secure information flow in a multi-threaded imperative language - Volpano, Smith - 1998
BibTeX entry: (Update)
G. Boudol and I. Castellani. Non-interference for concurrent programs and thread systems. To appear. URL: ftp://ftp-sop.inria.fr/mimosa/personnel/ gbo/non-interf-threads.ps.gz, Sept. 2001. http://citeseer.ist.psu.edu/article/boudol01noninterference.html More
@article{ boudol01noninterference,
author = "G{\'e}rard Boudol and Ilaria Castellani",
title = "Noninterference for Concurrent Programs",
journal = "Lecture Notes in Computer Science",
volume = "2076",
pages = "382+",
year = "2001",
url = "citeseer.ist.psu.edu/article/boudol01noninterference.html" }
Citations (may not include all citations):484 A Calculus of Communicating Systems (context) - Milner - 1980
170 Security policies and security models (context) - Goguen, Meseguer - 1982
158 Secrecy by typing in security protocols - Abadi - 1999
72 A type-based approach to program security - Volpano, Smith - 1997
62 Probabilistic noninterference in a concurrent language - Volpano, Smith - 1999
59 Transforming out timing leaks - Agat - 2000
59 Probabilistic noninterference for multithreaded programs - Sabelfeld, Sands - 2000
48 Non interference for the analysis of cryptographic protocols - Focardi, Gorrieri et al. - 2000
47 Process algebra and non-interference - Ryan, Schneider - 2001
38 Secure information ow in a multi-threaded imperative languag.. (context) - Smith, Volpano - 1998
28 Concurrency and automata on in nite sequences (context) - Park - 1981
24 Noninterference for concurrent programs - Boudol, Castellani - 2076
12 Secure information ow as typed process behaviour (context) - Honda, Vasconcelos et al. - 2000
9 Information ow vs resource access in the asynchronous pi-cal.. (context) - Hennessy, Riely - 2000
8 Information ow inference for free (context) - Pottier, Conchon - 2000
7 Computer Science Technical Report (context) - Hennessy, -calculus - 2000
5 ow: Practical mostly-static information ow control (context) - Myers - 1999
5 A new type system for secure information ow (context) - Smith - 2001
3 Electronic purse applet certi cation (context) - Bieber, Cazin et al. - 2000
3 years of covert channel modeling and analysis (context) - Millen - 1999
1 A sound type system for secure (context) - Volpano, Smith et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-sop.inria.fr/mimosa/personnel/Ilaria.Castellani/main-publications.html): More
Synthesizing Distributed Transition Systems from.. - Castellani, Mukund.. (1999) (Correct)
On Bisimulations for the Asynchronous π-calculus? - Amadio, Castellani, Sangiorgi (1997) (Correct)
Testing Theories for Asynchronous Languages - Castellani, Hennessy (1998) (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