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

by Philip W. L. Fong , Cheng Zhang
Citations:11 - 3 self

Active Bibliography

Capabilities as Alias Control: Secure Cooperation inDynamically Extensible Systems – unknown authors
Capabilities as Alias Control: Secure Cooperation in Dynamically Extensible Systems – unknown authors
9 Proof Linking: A Modular Verification Architecture for Mobile Code Systems – Philip W. L. Fong - 2004
Link-Time Enforcement of Confined Types for JVM – Philip W. L. Fong, Câ—‹philip W. L. Fong, Philip W. L. Fong - 2005
ABSTRACT Pluggable Verification Modules: An Extensible Protection Mechanism for the JVM – Philip W. L. Fong
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
590 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
478 Enforceable Security Policies – Fred B. Schneider
1111 Proof-Carrying Code – George C. Necula - 1997