Nevin Heintze, Jon G. Riecke  Home/Search
Context Related
Links: DBLP | belllabs.com/dist...slamtechrpt.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: ampl.com/who/riecke/bib (more) Homepages: N.Heintze |
Rate this article:      (best)Comment on this article |
Abstract: We describe the SLam calculus, a typed -calculus that maintains security information as well as type information. The type system propagates both secrecy and integrity, maintaining four distinct forms of security information: which agents could have created an object, which agents may read an object, and which agents may indirectly, through flow-of-control or the actions of other agents, create or read objects. We prove that the type system prevents run-time security violations, and give some... (Update)
Cited by: More
RIFLE: An Architectural Framework for User-Centric - Information-Flow Security Neil (Correct)
Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
Secrecy by Typing in Security Protocols - Abadi (1998) (Correct)
Similar documents (at the sentence level):
36.7%: The SLam Calculus: Programming with Security and Integrity - Heintze, Riecke (1998) (Correct)
6.7%: The SLam Calculus: Programming with Secrecy and Integrity - Heintze, Riecke (1998) (Correct)
Active bibliography (related documents): More All
0.1: Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (Correct)
0.1: A Sound Type System For Secure Flow Analysis - Volpano, Smith, al. (1996) (Correct)
0.1: Secure Information Flow in a Multi-threaded Imperative Language - Smith, Volpano (1998) (Correct)
Similar documents based on text: More All
0.2: A Core Calculus of Dependency - Abadi, Banerjee, Heintze, Riecke (1999) (Correct)
0.2: Generation of and Debugging with Logical Pre and.. - Herranz-Nieva.. (2000) (Correct)
0.2: A Closed Form Solution to the Single Degree of Freedom . . . - Gibbens, al. (Correct)
Related documents from co-citation: More All
45: A Core Calculus of Dependency - Abadi, Banerjee et al. - 1999
44: A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
42: Secrecy by typing in security protocols - Abadi - 1997
BibTeX entry: (Update)
N. Heintze and J.G Riecke. The SLam calculus: Programming with secrecy and integrity. In Proceedings of POPL'98, pages 365--377. ACM Press, 1998. http://citeseer.ist.psu.edu/article/heintze98slam.html More
@inproceedings{ heintze98slam,
author = "Nevin Heintze and Jon G. Riecke",
title = "The {SLam} calculus: programming with secrecy and integrity",
booktitle = "Conference record of {POPL} '98: the 25th {ACM} {SIGPLAN-{SIGACT}} Symposium on Principles of Programming Languages, San Diego, California, 19--21 January 1998",
publisher = "ACM Press",
address = "New York, NY, USA",
editor = "ACM",
isbn = "0-89791-979-3",
pages = "365--377",
year = "1998",
url = "citeseer.ist.psu.edu/article/heintze98slam.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
196 A lattice model of secure information flow (context) - Denning - 1976 ACM DBLP
158 Certification of programs for secure information flow (context) - Denning, Denning - 1977 ACM DBLP
147 abstraction and parametric polymorphism (context) - Reynolds - 1983
81 The theory and practice of first-class prompts (context) - Felleisen - 1988 ACM DBLP
69 Applying formal methods to the analysis of a key management .. - Meadows - 1992 DBLP
54 An axiomatic approach to information flow in programs (context) - Andrews, Reitman - 1980 ACM DBLP
40 Compile-time detection of information flow in sequential pro.. - Banatre, Bryce et al. - 1994 ACM DBLP
38 A logical language for specifying cryptographic protocol req.. - Syverson, Meadows - 1993 ACM
37 A model for secure protocols and their compositions - Heintze, Tygar - 1996 ACM DBLP
32 A logic of communication in hostile environments (context) - Bieber - 1990 DBLP
22 Secure Information Flow in Computer Systems (context) - Denning - 1975
20 Trust in the -calculus (context) - Palsberg, Orbaek - 1995
1 ic 1 ; ir 1 ) s 2 (context) - Volpano, Smith et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ampl.com/who/riecke/bib.html): More
Semantic Orthogonality of Type Disciplines - Riecke, Subrahmanyam (1997) (Correct)
Conditions for the Completeness of Functional and.. - Riecke, Subrahmanyam (1997) (Correct)
The Logic and Expressibility of Simply-typed Call-by-value and.. - Riecke (1991) (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