Capabilities as alias control: Secure cooperation in dynamically extensible systems (2004)

by Philip W. L. Fong , Cheng Zhang
Venue:DEPARTMENT OF COMPUTER SCIENCE, UNIVERSITY OF REGINA
Citations:5 - 3 self

Documents Related by Co-Citation

32 Capabilities for sharing: A generalisation of uniqueness and read-only – J Boyland, J Noble, W Retert - 2001
154 Designing Distributed Applications with Mobile Code Paradigms – Antonio Carzaniga, Gian Pietro Picco, Giovanni Vigna - 1997
9 Engineering a Customizable Intermediate Representation – K. Palacz, J. Baker, C. Flack, C. Grothoff, H. Yamauchi, J. Vitek - 2003
82 Computational Reflection in Class Based Object Oriented – J Ferber - 1989
25 Detecting Format-String Vulnerabilities with Type Qualifiers – U Shankar, K Talwar, J Foster, D Wagner - 2001
9 Extensible virtual machines – Timothy L. Harris - 2001
27 A Formal Specification of Java Class Loading – Zhenyu Qian, Allen Goldberg, Alessandro Coglio, Ro Coglio - 2000
136 Program Fragments, Linking, and Modularization – Luca Cardelli, Luca Cardelli - 1997
161 ArchJava: Connecting Software Architecture to Implementation – Jonathan Aldrich, Craig Chambers, David Notkin - 2001
170 A type system for Java bytecode subroutines – Raymie Stata, Martín Abadi - 1998
51 A Simple, Comprehensive Type System for Java Bytecode Subroutines – Robert O'Callahan
112 O’Toole Jr. Exokernel: an operating system architecture for application-level resource management – Dawson R Engler, M Frans Kaashoek, James - 1995
164 Dynamic Class Loading in the Java Virtual Machine – Sheng Liang, Gilad Bracha - 1998
312 Making the future safe for the past: Adding Genericity to the Java Programming Language – Gilad Bracha , Martin Odersky, David Stoutamire, Philip Wadler - 1998
1363 Aspect-oriented programming – Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-marc Loingtier, John Irwin - 1997
381 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
972 An Overview of AspectJ – Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold - 2001
23 A Security Kernel Based on the Lambda-Calculus – Jonathan A. Rees - 1996
36 The Confused Deputy (or why capabilities might have been invented) – Norman Hardy - 1994