Heiko Mantel, Andrei Sabelfeld  Home/Search
Context Related
| cornell.edu/~andre...lsabelfeldjcs.ps From: cornell.edu/~andrei/ (more) Homepages: A.Sabelfeld |
Rate this article:      (best)Comment on this article |
Abstract: The security of computation at the level of a specific programming language and the security of complex systems at a more abstract level are two major areas of current security research. With the objective to integrate the two, this article proposes an adequate translation of a timing-sensitive security property for simple multi-threaded programs into a more general security framework. Soundness and completeness of the translation guarantee that the trace-based specification of the translation... (Update)
Context of citations to this paper: More
...on a distributed system considered as a whole, and explicitly models distrust between principals and hosts. Mantel and Sabelfeld [115] [116] also make a step in this direction, proposing a way to integrate language based confidentiality properties of local computation into an...
.... channels at a high level of abstraction (e.g. pipelines in Unix) Our security speci cation can be easily adapted for this case (cf. [33]) be compromised. Ongoing research addresses cryptographic aspects of formal models of encryption [5, 28, 39] Finally, high...
Cited by: More
Confidentiality for Multithreaded Programs via Bisimulation - Sabelfeld (Correct)
Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (Correct)
Observational Determinism for Concurrent Program Security - Zdancewic, Myers (2003) (Correct)
Similar documents (at the sentence level):
27.4%: A Generic Approach to the Security of Multi-Threaded Programs - Mantel, Sabelfeld (2001) (Correct)
25.4%: Semantic Models for the Security of Sequential and Concurrent.. - Sabelfeld (2001) (Correct)
Active bibliography (related documents): More All
0.9: On The Composition Of Security Properties - Zakinthinos (1996) (Correct)
0.4: Verifying Persistent Security Properties - Bossi, Focardi, Piazza, Rossi (Correct)
0.4: A General Theory of Security Properties - Zakinthinos, Lee (1997) (Correct)
Similar documents based on text: More All
0.2: Static Confidentiality Enforcement for Distributed Programs - Sabelfeld, Mantel (2002) (Correct)
0.2: Towards an Evolutionary Formal Software-Development.. - Autexier, Hutter.. (2000) (Correct)
0.2: A Matrix Characterization for MELL - Mantel, Kreitz (1998) (Correct)
Related documents from co-citation: More All
6: Probabilistic noninterference in a concurrent language - Volpano, Smith - 1998
5: A Per model of secure information flow in sequential programs - Sabelfeld, Sands - 1998
5: Transforming out timing leaks - Agat - 2000
BibTeX entry: (Update)
H. Mantel and A. Sabelfeld, "A unifying approach to the security of distributed and multi-threaded programs," J. Computer Security, 2002, To appear. http://citeseer.ist.psu.edu/mantel02unifying.html More
@article{ mantel02unifying,
author = "H. Mantel and A. Sabelfeld",
title = "A unifying approach to the security of distributed and multi-threaded programs",
journal = "J. Computer Security",
year = "2002",
url = "citeseer.ist.psu.edu/mantel02unifying.html" }
Citations (may not include all citations):862 The Java Language Specification - Gosling, Joy et al. - 1996
509 Introduction to Lattices and Order (context) - Davey, Priestley - 1990
309 Communications of the ACM (context) - Carriero, Gelernter et al. - 1989
242 Concurrent Programming in Erlang - Armstrong, Virding et al. - 1996
196 A lattice model of secure information flow (context) - Denning - 1976
170 Security policies and security models (context) - Goguen, Meseguer - 1982
158 Certification of programs for secure information flow (context) - Denning, Denning - 1977
152 A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
139 Secure information flow in a multi-threaded imperative langu.. - Smith, Volpano - 1998
121 A core calculus of dependency - Abadi, Banerjee et al. - 1999
102 The SLam calculus: programming with secrecy and integrity - Heintze, Riecke - 1998
95 Language-based information-flow security - Sabelfeld, Myers - 2002
62 Probabilistic noninterference in a concurrent language - Volpano, Smith - 1999
60 Specifications for multi-level security and hook-up property (context) - McCullough - 1987
59 Probabilistic noninterference for multi-threaded programs - Sabelfeld, Sands - 2000
59 Transforming out timing leaks - Agat - 2000
56 A general theory of composition for trace sets closed under .. - McLean - 1994
55 Security models and information flow - McLean - 1990
51 Information flow in nondeterministic systems (context) - Wittbold, Johnson - 1990
50 A model of information (context) - Sutherland - 1986
47 A per model of secure information flow in sequential program.. - Sabelfeld, Sands - 2001
47 Process algebra and non-interference - Ryan, Schneider - 1999
45 Non-interference through determinism (context) - Roscoe, Woodcock et al. - 1994
43 A classification of security properties for process algebras - Focardi, Gorrieri - 1995
36 A semantic approach to secure information flow - Joshi, Leino - 2000
29 A new type system for secure information flow - Smith - 2001
27 Information transmission in sequential programs (context) - Cohen - 1978
23 Security and the composition of machines (context) - Johnson, Thayer - 1988
22 and Distributed Programming (context) - Andrews, Multithreaded - 2000
21 Information flow analysis in a discrete-time process algebra - Focardi, Gorrieri et al. - 2000
19 Untrusted hosts and confidentiality: Secure program partitio.. - Zdancewic, Zheng et al. - 2001
17 A general theory of security properties - Zakinthinos, Lee - 1997
17 Unwinding possibilistic security properties - Mantel - 2000
17 Proving noninterference and functional correctness using tra.. - McLean - 1992
16 Information transmission in computational systems (context) - Cohen - 1977
15 A generic approach to the security of multi-threaded program.. - Mantel, Sabelfeld - 2001
15 the composition of secure systems (context) - Mantel - 2002
14 A universal theory of information flow (context) - Foley - 1987
12 Possibilistic definitions of security -- An assembly kit (context) - Mantel - 2000
12 Static confidentiality enforcement for distributed programs - Sabelfeld, Mantel - 2002
9 Preserving information flow properties under refinement (context) - Mantel - 2001
6 On confidentiality and algorithms (context) - Agat, Sands - 2001
6 The composability of non-interference (context) - Zakinthinos, Lee - 1995
6 Information flow control and applications -- Bridging a gap - Mantel - 2021
5 CSP and determinism in security modeling (context) - Roscoe - 1995
4 The impact of synchronisation on secure information flow in .. - Sabelfeld - 2001
3 Weak probabilistic bisimulation for secure information flow - Smith - 2002
3 How and why feedback composition fails (context) - Zakinthinos, Lee - 1996
1 What needs securing (context) - Guttman, Nadel - 1988
Documents on the same site (http://www.cs.cornell.edu/~andrei/): More
Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (Correct)
Static Confidentiality Enforcement for Distributed Programs - Sabelfeld, Mantel (2002) (Correct)
Confidentiality for Multithreaded Programs via Bisimulation - Sabelfeld (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