Policy-directed code safety

Policy-directed code safety (2000)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by David E. Evans

Citations:

132 - 4 self

BibTeX

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

Years of Citing Articles

Bookmark

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