Type System Support for Dynamic Revocation (1999)


Download Links

by Chris Hawblitzel , Thorsten von Eicken
Venue:In ACM SIGPLAN workshop on Compiler Support for System Software
Citations:9 - 0 self

Active Bibliography

83 Implementing Multiple Protection Domains in Java – Chris Hawblitzel, Chi-Chao Chang, Grzegorz Czajkowski, Deyu Hu, Thorsten von Eicken - 1998
14 J-Kernel: A capability-based operating system for Java – Thorsten Von Eicken, Chi-chao Chang, Grzegorz Czajkowski, Chris Hawblitzel, Deyu Hu, Dan Spoonhower - 1999
29 Paradigm Regained: Abstraction Mechanisms for Access Control – Mark S. Miller, Hewlett Packard Laboratories, Jonathan S. Shapiro - 2001
1 Distributed Smalltalk: Inheritance and Reactiveness in Distributed Systems – John K. Bennett - 1988
42 Improving Security and Performance for Capability Systems – Paul Ashley Karger - 1988
24 Capability Myths Demolished – Mark Miller, Ka-Ping Yee, Jonathan Shapiro, Combex Inc - 2003
88 Mondrian Memory Protection – Emmett Witchel, Josh Cates, Krste Asanovic - 2002
Effects for Funargs – Jeremy G. Siek, Michael M. Vitousek, Jonathan D. Turner
5 Design and Evaluation of an Extensible Web Telephony Server based on the J-Kernel – Daniel Spoonhower, Grzegorz Czajkowski, Chris Hawblitzel, Chi-chao Chang, Deyu Hu, Thorsten Von Eicken - 1998
168 EROS: a fast capability system – Jonathan S. Shapiro, Jonathan M. Smith, David J. Farber - 1999
82 Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control – Mark Samuel Miller - 2006
3 High-Level ABstractions for Low-Level Programming – Iavor Sotirov Diatchki - 2007
22 Stratified Operational Semantics for Safety and Correctness of The Region Calculus – Cristiano Calcagno - 2001
9 Dynamic Sharing and Backward Compatibility on 64-Bit Machines – William E. Garrett , Ricardo Bianchini, Leonidas Kontothanassis, R. Andrew McCallum, Jeffery Thomas, Robert Wisniewski, Michael L. Scott - 1992
405 Extensibility, safety and performance in the SPIN operating system – Brian N. Bershad, Stefan Savage, Przemys Pardyak, Emin Gun Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers - 1995
Project Description – We Propose To
6 The Alta Operating System – Patrick Alexander Tullmann, Wilson C. Hsieh, John B. Carter, Date Frank, J. Lepreau, Robert R. Kessler, David S. Chapman - 1999
34 Experience with Secure Multi-Processing in Java – Dirk Balfanz - 1998
53 SAFKASI: A Security Mechanism for Language-Based Systems – Dan S. Wallach, Andrew W. Appel, Edward W. Felten - 2000