Fred B. Schneider, Greg Morrisett, Robert Harper  Home/Search
Context Related
Links: ACM DBLP | cmu.edu/afs/cs/user/rwh/p...dagstuhl.ps cornell.edu/fbs/publ...LangBasedCase.ps harvard.edu/cs253/...0LanguageBased.pdf 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 Problem Downloading? From: cmu.edu/afs/cs/user/rwh/p...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises effi- cient enforcement of fine-grained access control policies and depends on a trusted computing base of only modest size. This paper surveys progress and prospects for the area, giving overviews of in-lined reference monitors, certifying compilers, and advances in type theory. (Update)
Cited by: More
Analyzing Memory Accesses in x86 Binary Executables - Gogul Balakrishnan Thomas (Correct)
Typed Parametric Polymorphism for Aspects - Jagadeesan, Jeffrey, Riely (2006) (Correct)
Programming with Role-Based Access Control - Radha Jagadeesan Alan (Correct)
Similar documents (at the sentence level):
72.7%: A Language-Based Approach to Security - Fred Schneider Greg (2000) (Correct)
Active bibliography (related documents): More All
0.1: A Security-Property Language for Self-Certified Code - Bernard (1999) (Correct)
0.1: Enforceable Security Policies - Schneider (1998) (Correct)
0.1: Self-Paging in the Nemesis Operating System - Hand (1999) (Correct)
Similar documents based on text: More All
1.6: SASI Enforcement of Security Policies: A Retrospective - Erlingsson, Schneider (1999) (Correct)
0.3: Flexible OS Support and Applications for Trusted Computing - Mendel (2003) (Correct)
0.3: Least Privilege and More 1 - Fred Schneider Department (2003) (Correct)
Related documents from co-citation: More All
11: Proof-carrying code - Necula - 1997
10: ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
10: KLAIM: A kernel Language for Agents Interaction and Mobility - DeNicola, Ferrari et al. - 1998
BibTeX entry: (Update)
Fred B. Schneider, Greg Morrisett, and Robert Harper. A language-based approach to security. In Informatics---10 Years Back, 10 Years Ahead, volume 2000 of Lecture Notes in Computer Science. Springer-Verlag, 2000. http://citeseer.ist.psu.edu/schneider00languagebased.html More
@article{ schneider01languagebased,
author = "Fred B. Schneider and Greg Morrisett and Robert Harper",
title = "A Language-Based Approach to Security",
journal = "Lecture Notes in Computer Science",
volume = "2000",
pages = "86--101",
year = "2001",
url = "citeseer.ist.psu.edu/schneider00languagebased.html" }
Citations (may not include all citations):566 Proof-carrying code - Necula - 1997 ACM DBLP
505 Implementing Mathematics with the NuPRL Proof Development Sy.. - Constable - 1986 ACM
447 Exokernel: An operating system architecture for application-.. - Engler, Kaashoek et al. - 1995 DBLP
400 safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
264 Safe kernel extensions without run-time checking - Necula, Lee - 1996 ACM DBLP
231 Information Processing Letters (context) - Alpern, Schneider - 1985
210 TIL: A typedirected optimizing compiler for ML - Tarditi, Morrisett et al. - 1996
201 to typed assembly language (context) - Morrisett, Walker et al. - 1998
194 The protection of information in computer systems (context) - Saltzer, Schroeder - 1975
175 Dealing with disaster: Surviving misbehaved kernel extension.. - Seltzer, Endo et al. - 1996 DBLP
157 Proving the correctness of multiprocess programs (context) - Lamport - 1977 DBLP
110 Eliminating array bound checking through dependent types - Xi, Pfenning - 1998 ACM DBLP
81 SASI enforcement of security policies: A retrospective - Erlingsson, Schneider - 1999
79 ACM Transactions on Programming Languages and Systems (context) - Morrisett, Walker et al. - 1999
56 A general theory of composition for trace sets closed under .. - McLean - 1994
51 A framework for dening logics (context) - Harper, Honsell et al. - 1993
47 IRM enforcement of java stack inspection - Erlingsson, Schneider - 2000 ACM DBLP
45 ACM Transactions on Information and System Security (context) - Schneider, policies - 2000
20 Ecient software-based fault isolation (context) - Wahbe, Lucco et al. - 1993
16 National Academy Press (context) - Schneider, in - 1999
13 Logical Foundation (context) - Lamport - 1985
9 fall harvest (context) - Yasuhiro, Gwertzman et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/afs/cs/user/rwh/public/www/home/papers/index.html): More
A Type-Theoretic Approach to Higher-Order Modules with Sharing - Harper, Lillibridge (1993) (Correct)
Compiling Polymorphism Using Intensional Type Analysis - Harper, Morrisett (1995) (Correct)
Typing First-Class Continuations in ML - Robert Harper (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