Mark S. Miller, Jonathan Shapiro  @ NUS Home/Search
Context Related
| hp.com/techreports/2...HPL2003222.pdf Cached: PS.gz PS PDF Image Update Help From: hp.com/techreports...HPL2003222 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Access control systems must be evaluated in part on how well they enable one to distribute the access rights needed for cooperation, while simultaneously limiting the propagation of rights which would create vulnerabilities. (Update)
Cited by: More
Towards a Flexible Access Control Mechanism for E-Transactions - Patil, Shyamasundar (2004) (Correct)
Ist-2001-33234 - Peer-To-Peer Implementation And (Correct)
Active bibliography (related documents): More All
1.5: Capability-based Financial Instruments - Miller, Morningstar, Frantz (2000) (Correct)
1.2: Capability Myths Demolished - Miller, Yee, Shapiro (2003) (Correct)
0.8: Trust Management for E-Transactions - Patil, Shyamasundar (2005) (Correct)
Similar documents based on text: More All
0.2: A Family of Securable Protection Systems - Shapiro, Weber (1998) (Correct)
0.1: State Caching in the EROS Kernel - Implementing Efficient .. - Shapiro, Farber, Smith (1996) (Correct)
0.1: The Measured Performance of a Fast Local IPC - Shapiro, Farber, Smith (1996) (Correct)
BibTeX entry: (Update)
M.S. Miller and J.S. Shapiro. Paradigm regained: Abstraction mechanism for access control. In Asian Computing Conference, Dec. 2003. To appear. http://citeseer.comp.nus.edu.sg/695693.html More
@misc{ miller03paradigm,
author = "M. Miller and J. Shapiro",
title = "Paradigm regained: Abstraction mechanism for access control",
text = "M.S. Miller and J.S. Shapiro. Paradigm regained: Abstraction mechanism
for access control. In Asian Computing Conference, Dec. 2003. To appear.",
year = "2003",
url = "citeseer.comp.nus.edu.sg/695693.html" }
Citations (may not include all citations):430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussman - 1986
427 the Criteria To Be Used in Decomposing Systems into Modules (context) - Parnas - 1972
194 The Protection of Information in Computer Systems (context) - Saltzer, Schroeder - 1975
153 A Note on the Confinement Problem - Lampson - 1973
124 Protection in operating systems (context) - Harrison, Ruzzo et al. - 1976
100 Programming Semantics for Multiprogrammed Computations - Dennis, Van Horn - 1966
78 Soft Typing - Cartwright, Fagan
70 Using Sparse Capabilities in a Distributed Operating System - Tanenbaum, Mullender et al. - 1986
63 Capability-based addressing (context) - Fabry - 1974
48 A Secure Identity-Based Capability System - Gong - 1989
42 A Universal Modular Actor Formalism for Artificial Intellige.. (context) - Hewitt, Bishop et al. - 1973
39 EROS: A Fast Capability System - Shapiro, Smith et al. - 1999
38 Capability-based Financial Instruments - Miller, Morningstar et al. - 2000
24 An Augmented Capability Architecture to Support Lattice Secu.. (context) - Karger, Herbert - 1984
24 The KeyKOS Architecture (context) - Hardy - 1985
24 Protection in Programming Languages (context) - Morris - 1973
23 A Provably Secure Operating System: The System (context) - Neumann, Boyer et al. - 1980
22 On Access Checking in Capability-Based Systems - Kain, Landwehr - 1987
20 Meta Interpreters for Real (context) - Safra, Shapiro - 1986
15 A Linear Time Algorithm for Deciding Security (context) - Jones, Lipton et al. - 1976
15 Extending a Capability Based System Into a Network Environme.. (context) - Sansom, Julian et al. - 1986
11 Secure Network Objects - van Doorn, Abadi et al. - 1996
10 Language Design and Open Systems (context) - Miller - 1988
10 A Security Kernel Based on the Lambda-Calculus - Rees - 1996
9 The Transfer of Information and Authority in a Protection Sy.. (context) - Bishop, Snyder - 1979
9 Smalltalk-72 instruction manual (context) - Goldberg, Kay - 1976
9 the Inability of an Unmodified Capability Machine to Enforce.. (context) - Boebert - 1984
8 Naming and Protection in Extendible Operating Systems (context) - Redell - 1974
8 A State-Transition Model of Trust Management and Access Cont.. - Chander, Dean et al. - 2001
6 Secure Computer Systems (context) - Bell, LaPadula - 1974
4 Revised^5 Report on the Algorithmic Language Scheme (context) - Kelsey, Clinger et al. - 1998
4 Logical Secrets (context) - Miller, Bobrow et al. - 1987
3 Verifying the EROS Confinement Mechanism - Shapiro, Weber - 2000
3 personal communications (context) - Crockford - 1997
2 Joule: Distributed Application Foundations (context) - Tribble, Miller et al. - 1995
2 Thoughts on Capability Security on the Web (context) - Sitaker - 2000
2 Computer Security System (context) - Hardy, Patent
1 An Automatic Auction in ATM Network Bandwidth (context) - Miller, Krieger et al. - 1996
1 The KeyKOS/KeySAFE System Design (context) - Rajunas - 1989
1 orgpipermailcap talk March (context) - on, www et al. - 2003
1 A Distributed Capability Computing System (context) - Donnelley - 1976
http://www.info.ucl.ac.be/people/PVR/book.html
http://www.research.att.com/~suresh/Papers/java.pdf
http://www.combex.com/papers/darpa-review/index.html
http://www.combex.com/papers/darpa-report/index.html
http://www.cse.psu.edu/~saraswat/neighborhood.pdf
http://zesty.ca/capmyths/usenix.pdf
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.