Capability-based Financial Instruments (2000)

Cached

Download Links

by Mark S. Miller , Chip Morningstar , Bill Frantz
Venue:In Proc. Financial Cryptography 2000, Anguila, BWI
Citations:27 - 4 self

Active Bibliography

21 Paradigm Regained: Abstraction Mechanisms for Access Control – Mark S. Miller, Hewlett Packard Laboratories, Jonathan S. Shapiro - 2001
43 Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control – Mark Samuel Miller - 2006
1 Delegating Responsibility in Digital Systems: Horton’s “Who Done It?” – Mark S. Miller, James E. Donnelley
5 Capabilities as alias control: Secure cooperation in dynamically extensible systems – Philip W. L. Fong, Cheng Zhang - 2004
3 Discretionary capability confinement – Philip W. L. Fong, Philip W. L. Fong - 2006
18 Capability Myths Demolished – Mark Miller, Ka-Ping Yee, Jonathan Shapiro, Combex Inc - 2003
13 Pluggable Verification Modules: An Extensible Protection Mechanism for the JVM – Philip W.L. Fong - 2003
174 Extensible security architecture for Java – Dan S. Wallach, Dirk Balfanz, Drew Dean, Edward W. Felten - 1997
11 Verifying Operating System Security – J. S. Shapiro, S. Weber - 1997
7 Design Evolution of the EROS Single-Level Store – Jonathan S. Shapiro, Jonathan Adams - 2002
Using Sparse Capabilities in a Distributed Operating System – Andrew Tanenbaum Dept, Andrew S. Tanenbaum, Sape J. Mullender, Robbert Van Renesse - 1986
82 Using Sparse Capabilities in a Distributed Operating System – Andrew S. Tanenbaum, Sape J. Mullender, Robbert van Renesse - 1986
Secure Abstraction with Code Capabilities – Robbert Van Renesse, H˚avard D. Johansen, Nihar Naigaonkar, Dag Johansen
37 Security for network attached storage devices – Howard Gobioff, Garth Gibson, Doug Tygar - 1997
1 Discretionary object confinement: A minimalistapproach to capabilities for the JVM – Boting Yang, Boting Yang, Philip W. L. Fong, Philip W. L. Fong, Boting Yangdepartment, Computer Science - 2004
2 Link-Time Enforcement of Confined Types for JVM Bytecode – Philip W. L. Fong - 2005
1 The Practical Application of a Decidable Access Model – Jonathan S. Shapiro - 2003
SCOLL -- A Language for Safe Capability Based Collaboration – Yves Jaradin, et al. - 2005
47 TRON: Process-Specific File Protection for the UNIX Operating System – Andrew Berman, Virgil Bourassa, Erik Selberg - 1995