Andrei Sabelfeld, David Sands  Home/Search
Context Related
| cs.chalmers.se/~andrei/./per.ps 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: cs.chalmers.se/~andrei/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper proposes an extensional semantics-based formal specification of secure information-flow properties in sequential programs based on representing degrees of security by partial equivalence relations (pers). The specification clarifies and unifies a number of specific correctness arguments in the literature, and connections to other forms of program analysis. The approach is inspired by (and in the deterministic case equivalent to) the use of partial equivalence relations in specifying... (Update)
Cited by: More
Probabilistic Noninterference for Multi-threaded Programs - Andrei Sabelfeld David (1999) (Correct)
A Theorem Proving Approach to Analysis of Secure Information .. - Dravas, Hahnle, Sands (Correct)
Checking Secure Information Flow in Java Bytecode.. - Bernardeschi, De.. (Correct)
Similar documents (at the sentence level):
72.5%: Semantic Models for the Security of Sequential and Concurrent.. - Sabelfeld (2001) (Correct)
65.7%: A PER Model of Secure Information Flow in Sequential Programs - Sabelfeld, Sands (1999) (Correct)
55.1%: A Per Model of Secure Information Flow in Sequential Programs - Sabelfeld, Sands (1998) (Correct)
Active bibliography (related documents): More All
0.4: Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (Correct)
0.3: Abstract Interpretation of Functional Languages: From Theory to.. - Hunt (1991) (Correct)
0.3: The Impact of Synchronisation on Secure Information Flow in.. - Sabelfeld (2001) (Correct)
Similar documents based on text: More All
0.6: Binding Time Analysis: A New PERspective - Hunt, Sands (1991) (Correct)
0.3: A Theorem Proving Approach to Analysis of Secure Information .. - Darvas, Hähnle, Sands (2003) (Correct)
Related documents from co-citation: More All
32: A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
31: Security policies and security models (context) - Goguen, Meseguer - 1982
30: Certification of programs for secure information flow (context) - Denning, Denning - 1977
BibTeX entry: (Update)
A. Sabelfeld and David Sands. A Per model of secure information flow in sequential programs. Unpublished manuscript, 1998. http://citeseer.ist.psu.edu/article/sabelfeld00per.html More
@inproceedings{ sabelfeld99per,
author = "Andrei Sabelfeld and David Sands",
title = "A Per Model of Secure Information Flow in Sequential Programs",
booktitle = "European Symposium on Programming",
pages = "40-58",
year = "1999",
url = "citeseer.ist.psu.edu/article/sabelfeld00per.html" }
Citations (may not include all citations):265 Secure Computer Systems: Unified Exposition and Multics Inte.. (context) - Bell, LaPadula - 1976
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
147 abstraction and parametric polymorphism (context) - Reynolds - 1983
146 A powerdomain construction (context) - Plotkin - 1976
143 Theorems for free - Wadler - 1989
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
94 Projections for strictness analysis - Wadler, Hughes - 1987
93 A probabilistic powerdomain of evaluations (context) - Jones, Plotkin - 1989
72 Journal of Computer and Systems Sciences (context) - Smyth - 1978
62 Probabilistic noninterference in a concurrent language - Volpano, Smith - 1999
60 Specifications for multi-level security and hook-up property (context) - McCullough - 1987
56 Post-graduate lecture notes in advanced domain theory (context) - Plotkin - 1981
56 Projection Factorisations in Partial Evaluation (context) - Launchbury - 1989
55 Security models and information flow - McLean - 1990
54 An axiomatic approach to information flow in programs (context) - Andrews, Reitman - 1980
52 Security models - McLean - 1994
47 A per model of secure information flow in sequential program.. - Sabelfeld, Sands - 1999
43 A classification of security properties for process algebra - Focardi, Gorrieri - 1994
42 A per model of polymorphism and recursive types - Abadi, Plotkin - 1990
36 A semantic approach to secure information flow - Leino, Joshi - 1999
36 A semantic approach to secure information flow - Leino, Joshi - 1998
33 Probabilistic interference (context) - Gray - 1990
30 A security flow control algorithm and its denotational seman.. - Mizuno, Schmidt - 1992
30 Two-level semantics and abstract interpretation --- fundamen.. (context) - Nielson
28 Binding Time Analysis: A New PERspective - Hunt, Sands - 1991
22 Eliminating covert flows with minimum typings - Volpano, Smith - 1997
21 Abstract Interpretation of Functional Languages: From Theory.. - Hunt - 1991
19 The specification and modeling of computer security - McLean - 1990
18 Abstract Interpretation in Logical Form (context) - Jensen - 1992
18 Journal of Functional Programming (context) - rbaek, Palsberg et al. - 1997
11 Semantic foundations of binding-time analysis for imperative.. (context) - Das, Reps et al. - 1995
10 PERs generalise projections for strictness analysis (context) - Hunt - 1990
10 A typebased framework for program analysis - Hankin, Le M'etayer - 1994
9 Can you Trust your Data (context) - rbaek - 1995
4 A semantic model of binding times for safe partial evaluatio.. - Henglein, Sands - 1995
2 Bindingtime analysis by security analysis (context) - Thiemann, Klaeren - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.chalmers.se/~andrei/): More
Probabilistic Noninterference for Multi-threaded Programs - Sands (1999) (Correct)
A PER Model of Secure Information Flow in Sequential Programs - Sabelfeld, Sands (1999) (Correct)
Forwards and Backwards Analysis for Functional Programs - Andrei 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