(Enter summary)
Abstract: The access matrix model as formalized by Harrison, Ruzzo, and Ullman (HRU) has broad expressive power. Unfortunately, HRU has weak safety properties (i.e., the determination of whether or not a given subject can ever acquire access to a given object). Most security policies of practical interest fall into the undecidable cases of HRU. This is true even for monotonic policies (i.e., where access rights can be deleted only if the deletion is itself reversible). In this paper we define the typed... (Update)
Cited by: More
Unknown -
(Correct)
Logics for Authorizations and Security - Piero Bonatti And (2003)
(Correct)
A State-Transition Model of Trust Management and Access.. - Ajay Chander Stanford (2001)
(Correct)
Similar documents (at the sentence level): More
74.9%: The Typed Access Matrix Model - Sandhu (1992)
(Correct)
7.7%: Implementation Considerations for the Typed Access Matrix.. - Sandhu, Suri (1992)
(Correct)
6.9%: Expressive Power of the Single-Object Typed Access Matrix Model - Sandhu, Ganta (1993)
(Correct)
Active bibliography (related documents): More All
1.4: Non-Monotonic Transformation of Access Rights - Sandhu, Suri (1992)
(Correct)
1.0: On the Minimality of Testing for Rights in Transformation Models - Sandhu, Ganta (1994)
(Correct)
0.7: A Distributed Implementation of the Extended Schematic.. - Ammann, Sandhu, Suri (1991)
(Correct)
Similar documents based on text: More All
0.4: A Large-scale System Authorization Scheme Proposal.. - Westphall, Fraga (1999)
(Correct)
0.4: Authorization Schemes for Large-Scale Systems based on Java, .. - Westphall, Fraga (1999)
(Correct)
Related documents from co-citation: More All
38: Protection in operating systems (context) - Harrison, Ruzzo et al. - 1976
19: Securecomputer system: Unified exposition and multics interpretation (context) - Bell, LaPadula - 1975
13: A lattice model of secure information flow (context) - Denning - 1976
BibTeX entry: (Update)
R. Sandhu. The typed access matrix model. In Proc. of the 11th IEEE Symp. on Security and Privacy, pp. 122--136, 1992. http://citeseer.ist.psu.edu/sandhu92typed.html More
@inproceedings{ sandhu92typed,
author = "R. S. Sandhu",
title = "The Typed Access Matrix Model",
booktitle = "Proceedings of the {IEEE} Symposium on Security and Privacy",
pages = "122--136",
year = "1992",
url = "citeseer.ist.psu.edu/sandhu92typed.html" }
Citations (may not include all citations):
9
IEEE Symposium on Security and Privacy (context) - Beyond, of et al. - 1990
5
Journal of ACM (context) - De and, Analysis et al. - 1988
4
Sixth Annual Computer Security Applications Conference (context) - in, Protection et al. - 1990
4
IEEE Symposium on Research in Security and Privacy (context) - Proc - 1991
3
Communications of ACM (context) - Flow - 1976
3
Information Processing Letters (context) - Bell - 1985
3
IEEE Transactions on Computers C (context) - Systems - 1981
1
Generalized Framework for Access Control: Toward Prototyping.. (context) - Lazear, Olson - 1991
1
Journal of Computer Security, to appear. #5# Ammann, P.E., L.. (context) - Model - 1975
1
Computer Security Foundations Workshop (context) - Model - 1988
1
IEEE Transactions on Software Engineering SE (context) - Rights, Control - 1982
1
Foundations of Secure Computations (context) - Systems, DeMillo - 1978
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.list.gmu.edu/conferen.htm): More
Supporting Timing-Channel Free Computations In Multilevel .. - Sandhu, Thomas, Jajodia (1991)
(Correct)
Task-Based Authorization: A Paradigm For Flexible And.. - Thomas, Sandhu (1993)
(Correct)
Discretionary Access Control In Object-Oriented Databases.. - Thomas, Sandhu (1993)
(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