• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Policy-directed code safety (2000)

Cached

  • Download as a PDF

Download Links

  • [www.bennetyee.org]
  • [www.bennetyee.org]
  • [www.cs.princeton.edu]
  • [www.cs.virginia.edu]
  • [naccio.cs.virginia.edu]
  • [www.cs.virginia.edu]
  • [www.cs.virginia.edu]
  • [inat.lcs.mit.edu]
  • [nms.lcs.mit.edu]
  • [www.sds.lcs.mit.edu]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by David E. Evans
Citations:132 - 4 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Evans00policy-directedcode,
    author = {David E. Evans},
    title = {Policy-directed code safety},
    year = {2000}
}

Years of Citing Articles

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Citations

4646 Design Patterns: Elements of Reusable Object-Oriented Software - Gamma, Helm, et al. - 1994
1540 The Java Language Specification - Gosling, Jay, et al. - 1996
1497 The Definition of Standard ML - Milner, Tofte, et al. - 1990
691 ATOM: A System for Building Customized Program Analys is Tools - Srivastava, Eustace - 1994
537 The protection of information in computer systems - Saltzer, Schroeder - 1975
388 2000. Enforceable security policies - Schneider
381 Safe Kernel Extensions without Run-time Checking - Necula, Lee
340 A Secure Environment for Untrusted Helper Applications - Goldberg, Wagner, et al. - 1996
254 EEL: Machine-Independent Executable Editing - Larus, Schnarr - 1995
245 The design and implementation of a certifying compiler - Necula, Lee - 1998
209 The packer filter: an efficient mechanism for user-level network code - Mogul, Rashid, et al. - 1987
186 Java security: From HotJava to Netscape and beyond - Dean, Felten, et al. - 1996
179 SASI enforcement of security policies: a retrospective - Erlingsson, Schneider - 1999
163 An investigation of the therac-25 accidents - Leveson, Turner - 1993
147 Systems Programming with Modula-3 - Nelson, editor - 1991
146 Static detection of dynamic memory errors - Evans - 1996
140 A Practical Sys-tem for Intermodule Code Optimization at LinkTime - Srivastava, Wall - 1993
131 Working Sets Past and Present - Denning - 1980
99 E.W.: Understanding java stack inspection - Wallach, Felten - 1998
72 Binary component adaptation - Keller, Hlzle
71 An overview of the Extended Static Checking system - Detlefs - 1996
63 Implementing Protection Domains in the Java Development Kit 1.2 - Gong, Schemers - 1998
62 MiSFIT: A tool for constructing safe extensible C++ systems - SMALL - 1997
59 History-based access control for mobile code - Edjlali, Acharya, et al. - 1999
56 BIT: A tool for instrumenting Java bytecodes - Lee, Zorn - 1997
48 Computer security technology planning study. ESD-TR-73-51, vol 1 - Anderson - 1972
46 A programming language for active networks - Hicks, Kakker, et al. - 1998
36 A flexible measurement tool for software systems - Deutsch, Grant - 1971
33 A new approach to mobile code security - Wallach - 1999
30 Omniware: A Universal Substrate for Web Programming - Lucco, Sharp, et al. - 1995
18 Providing Fine-Grained Access Control For Mobile Programs Through Binary Editing - Pandey, Hashii - 1998
17 PACL’s: An Access Control List Approach to Anti-viral Security - Wichers, Cook, et al. - 1990
16 Peering inside the PE: a tour of the win32 (R) portable executable file format - Pietrek - 1994
9 an Optimizer for Alpha/NT Executables - Spike - 1997
8 A Collection of Increasingly Hostile Applets. http://metro.to/mladue/hostile-applets - LaDue
5 The Construction of Communalism - Pandey - 1990
5 Implementation and analysis of software based fault isolation - Silver - 1996
4 Hemma Prafullchandra and, Roland Schemers: "Going Beyond the Sandbox: An Overview of the New Security Architecture in the Java Development Kit 1.2 - Gong, Mueller - 1997
3 Report on the Algorithmic Language Algol 60 - Nauer, editor - 1963
3 The Safe-Tcl Security Model. http://www.scriptics.com/people/john.ousterhout - Ousterhout, Levy, et al. - 1997
2 Using Software Fault Isolation to Enforce Non-Bypassability. Presentation at - Feldman - 1999
2 Efficient Code Certification. Cornell University - Kozen - 1998
2 Porting Wrappers from UNIX to Windows NT - Spector, Badger - 1999
2 The Java Language: An Overview. http://java.sun.com/docs/overviews/java/java-overview-1.html - Microsystems
2 Flexible Code Safety for Win32 - Twyman - 1999
2 Efficient Software-Based Fault Isolation. SOSP ’93 - Wahbe, Lucco, et al.
2 Extensible Security Architectures for Java. SOSP ’97 - Wallach, Balfanz, et al.
2 An Optimizer forAlpha/NT Executables - Spike - 1997
2 Hemma Prafullchandra. Going Beyond the Sandbox: An Overview of the New Security Architecture - Gong, Mueller - 1997
2 Providing Flexible Code Safety for Win32. MIT Master of Engineering Thesis Proposal - Twyman - 1999
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University