See this document in CiteSeerX!

A State-Transition Model of Trust Management and Access Control (2001)  (Make Corrections)  (8 citations)
Ajay Chander, Drew Dean, John C. Mitchell



  Home/Search   Context   Related

 
View or download:
stanford.edu/dc/papers/aclcaptm.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  stanford.edu/dc/pubs (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We use a state-transition approach to analyze and compare the core access control mechanisms that are characteristic of a variety of trust management, access control list, and capability-based systems. The framework, which characterizes the set of rights a subject has over an object after any sequence of actions, is based on abstract system states, state transitions, and logical deduction of access control judgments. We present abstract models representing the access control portion of trust... (Update)

Cited by:   More
Paradigm Regained: Abstraction Mechanisms for Access Control - Miller, Shapiro (2003)   (Correct)
Static support for capability-based programming in Java - Saraswat, Jagadeesan   (Correct)
Deconstructing Trust Management - Ajay Chander Stanford (2002)   (Correct)

Active bibliography (related documents):   More   All
1.9:   A State-Transition Model of Trust Management and Access.. - Ajay Chander Stanford (2001)   (Correct)
0.9:   Trust Management for E-Transactions - Patil, Shyamasundar (2005)   (Correct)
0.6:   On the Minimality of Testing for Rights in Transformation Models - Sandhu, Ganta (1994)   (Correct)

System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text:   More   All
0.6:   Reconstructing Trust Management - Ajay Chander Ajayc (2004)   (Correct)
0.3:   Decentralized Jini Security - Eronen, Nikander (2001)   (Correct)
0.3:   The Role of Trust Management in Distributed Systems.. - Blaze, Feigenbaum..   (Correct)

Related documents from co-citation:   More   All
3:   Local name SPKISDSI - names, SDSI et al. - 2000
3:   A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
3:   Decentralized trust management - Blaze, Feigenbaum et al. - 1996

BibTeX entry:   (Update)

Chander, A., Dean, D. & Mithell, J., A State-Transition Model of Trust Management and Access Control, IEEE, 2001 http://citeseer.ist.psu.edu/article/chander01statetransition.html   More

@misc{ chander01statetransition,
  author = "A. Chander and D. Dean and J. Mithell",
  title = "A State-Transition Model of Trust Management and Access Control",
  text = "Chander, A., Dean, D. & Mithell, J., A State-Transition Model of Trust
    Management and Access Control, IEEE, 2001",
  year = "2001",
  url = "citeseer.ist.psu.edu/article/chander01statetransition.html" }
Citations (may not include all citations):
305   Decentralized trust management - Blaze, Feigenbaum et al. - 1996
162   A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
143   Compliance checking in the PolicyMaker trust management syst.. - Feigenbaum - 1998
127   REFEREE: Trust management for Web applications - Chu, Feigenbaum et al. - 1997
124   Protection in operating systems (context) - Harrison, Ruzzo et al. - 1976
114   Capability-Based Computer Systems (context) - Levy - 1984
101   The Multics System: An Examination of Its Structure (context) - Organick - 1972
100   Programming semantics for multiprogrammed computations - Dennis, Van Horn
81   The design of a capability-based distributed operating syste.. (context) - Mullender, Tanenbaum - 1986
66   KeyNote: Trust management for public-key infrastructures - Blaze, Feigenbaum et al. - 1999
52   The typed access matrix model - Sandhu - 1992
49   On SDSI's linked local name spaces - Abadi - 1998
48   A secure identity-based capability system - Gong
45   An overview of the Andrew file system (context) - Howard
22   On access checking in capability-based systems - Kain, Landwehr - 1987
21   Local name SPKISDSI - names, SDSI et al. - 2000
18   A logic for SDSI's linked local name spaces - Halpern, van der Meyden - 1999
4   the minimality of testing for rights in transformation model.. - Sandhu, Ganta
3   On testing for absence of rights in access control models - Sandhu, Ganta - 1993
3   the expressive power of the unary transformation model - Sandhu, Ganta - 1994
2   File handling at Cambridge University (context) - Barron, Fraser et al.
2   Expressive Power of Access Control Models Based on Propagati.. (context) - Ganta - 1996
www.clark.net/pub/cme/theory.txt
http://www.erights.org



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://crypto.stanford.edu/dc/pubs.html):   More
Distributed Credential Chain Discovery in Trust.. - Li, Winsborough.. (2001)   (Correct)
Mobile Code Security by Java Bytecode Instrumentation - Chander, Mitchell (2001)   (Correct)
Nonmonotonicity, User Interfaces, and Risk Assessment in.. - Li, Feigenbaum (2001)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC