Ulfar Erlingsson, Fred B. Schneider  Home/Search
Context Related
| cornell.edu/fbs/publicat...20001786.ps From: cornell.edu/fbs/fullist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Two implementations are given for Java's stack-inspection accesscontrol policy. Each implementation is obtained by generating an inlined reference monitor (IRM) for a di#erent formulation of the policy. (Update)
Cited by: More
Link-Time Enforcement of Confined Types for JVM Bytecode - Philip Fong Department (2005) (Correct)
Harmless Advice - Dantas, Walker (2006) (Correct)
Model-Carrying Code: A Practical Approach for Safe .. - Sekar.. (2003) (Correct)
Active bibliography (related documents): More All
0.9: IRM Enforcement of Java Stack Inspection - Erlingsson, Schneider (2000) (Correct)
0.2: Programming the Swarm - Evans (2000) (Correct)
0.1: A Language and System for Composing Security Policies - Bauer, Ligatti, Walker (2004) (Correct)
Similar documents based on text: More All
0.7: Stack Inspection: Theory and Variants - Fournet, Gordon (2001) (Correct)
0.5: Enforceable Security Policies - Schneider (1998) (Correct)
0.4: Towards Fault-Tolerant and Secure On-Line Services - Zhou (2001) (Correct)
Related documents from co-citation: More All
28: SASI enforcement of security policies: A retrospective - Erlingsson, Schneider - 1999
22: Flexible Policy-Directed Code Safety - Evans, Twyman - 1999
20: ACM Transactions on Information and System Security (context) - Schneider, policies - 2000
BibTeX entry: (Update)
U. Erlingsson and F. B. Schneider. IRM enforcement of java stack inspection. In IEEE Symposium on Security and Privacy, Oakland, California, May 2000. http://citeseer.ist.psu.edu/erlingsson00irm.html More
@inproceedings{ erlingsson00irm,
author = "Ulfar Erlingsson and Fred B. Schneider",
title = "{IRM} Enforcement of Java Stack Inspection",
booktitle = "{IEEE} Symposium on Security and Privacy",
pages = "246-255",
year = "2000",
url = "citeseer.ist.psu.edu/erlingsson00irm.html" }
Citations (may not include all citations):862 The Java Language Specification - Gosling, Joy et al. - 1996
746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1999
194 The Protection of Information in Computer Systems (context) - Saltzer, Schroeder - 1975
81 SASI Enforcement of Security Policies: A Retrospective - Erlingsson, Schneider - 1999
68 Computer security technology planning study (context) - Anderson - 1972
64 Automatic program transformation with JOIE - Cohen, Chase et al. - 1998
63 Hardening COTS Software with Generic Software Wrappers - Fraser, Badger et al. - 1999
61 Inside Java 2 Platform Security: Architecture (context) - Gong - 1999
59 Dynamic Class Loading in the Java Virtual Machine - Liang, Bracha - 1998
51 Understanding Java Stack Inspection - Wallach, Felten - 1998
45 ACM Transactions on Information and System Security (context) - Schneider - 2000
44 cient Software-Based Fault Isolation (context) - Wahbe, Lucco et al. - 1993
40 Design and Implementation of a Distributed Virtual Machine f.. - Sirer, Grimm et al. - 1999
21 A New Approach to Mobile Code Security - Wallach - 1999
9 Policy-directed code safety (context) - Evans, Twyman - 1999
6 The Inlined Reference Monitor Approach to Security Policy En.. (context) - Erlingsson - 2000
2 MIT Laboratory for Computer Science (context) - Baird-Smith, Jigsaw - 1996
http://www.ice.com/java/tar/
http://rnvs.informatik.tu-chemnitz.de/
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cornell.edu/fbs/fullist.htm): More
Implementing Fault-Tolerant Services Using the State Machine.. - Schneider (1990) (Correct)
IRM Enforcement of Java Stack Inspection - Erlingsson, Schneider (2000) (Correct)
User Recovery and Reversal in Interactive Systems - Archer, Jr., Conway, Schneider (1984) (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