Sam Weber, Jonathan S. Shapiro  Home/Search
Context
Related
| upenn.edu/~shap/ER...finalpopl99.ps.gz upenn.edu/~shap/ER...finalpopl99.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: upenn.edu/~shap/resume (more) From: upenn.edu/~shap/pubs (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The introduction of Web applets and servlets has sparked interest in security at the language level. Users want applets to be able to read and write local information, and also to be able to access the network. Despite this, they require assurance that the applet does not disclose sensitive information or gain access to unauthorized resources. Language-based approaches to protection are system-independent, and have the potential of allowing finer-grain control than is possible in most operating ... (Update)
Active bibliography (related documents): More All
0.7: A Family of Securable Protection Systems - Shapiro, Weber (1998) (Correct)
0.5: Enforcing Trace Properties by Program Transformation - Colcombet, Fradet (2000) (Correct)
0.4: EROS: A Capability System - Shapiro, Smith, Farber (1997) (Correct)
Similar documents based on text: More All
0.1: Verifying Operating System Security - Shapiro, Weber (1997) (Correct)
0.0: Evaluation of Two- and Three-Tier Database Connections.. - Unglauben Hillen.. (Correct)
0.0: Khepera: A System for Rapid Implementation of Domain.. - Faith, Nyland, Prins (1997) (Correct)
BibTeX entry: (Update)
@misc{ weber-constructing,
author = "Sam Weber and Jonathan S. Shapiro",
title = "Constructing a Language for Security and Safe Execution",
url = "citeseer.ist.psu.edu/132302.html" }
Citations (may not include all citations):155 Secure Computer Systems: Mathematical Foundations (context) - Bell - 1974
139 Secure Information Flow in a Multi-threaded Imperative Langu.. - Smith, Volpano - 1998 ACM DBLP
118 Extensible Security Architectures for Java - Wallach, Balfanz et al. - 1997 ACM
100 Programming Semantics for Multiprogrammed Computations - Dennis, Van Horn - 1966 ACM DBLP
85 Formal Models for Computer Security (context) - Landwehr - 1981 ACM DBLP
66 Security properties of typed applets - Leroy, cois - 1998 ACM DBLP
24 The KeyKOS Architecture (context) - Hardy - 1985
15 A Linear Time Algorithm for Deciding Security (context) - Jones, Lipton et al. - 1976 DBLP
10 Secure Computer Systems: A Mathematical Model (context) - Bell - 1974
9 The Transfer of Information and Authority in a Protection Sy.. (context) - Bishop ACM DBLP
8 Secure Computer Systems: A Refinement of the Mathematical Mo.. (context) - Bell - 1974
5 Department of Computer and Information Science Technical Rep.. (context) - Shapiro, System - 1997
5 Department of Computer and Information Science Technical Rep.. (context) - Shapiro, Weber et al. - 1998
2 The SLam Calculus: Programming with Security and Integrity - Heintze, Riecke - 1998
1 Verifying Operating System Security Department of Computer a.. (context) - Shapiro, Weber - 1997
Documents on the same site (http://www.cis.upenn.edu/~shap/resume.html): More
Operating System Support for Active Networks - Shapiro, Muir, Smith, Farber (1997) (Correct)
EROS: A Capability System - Shapiro, Smith, Farber (1997) (Correct)
State Caching in the EROS Kernel - Implementing Efficient .. - Shapiro, Farber, Smith (1996) (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