1357 search results - page 27 / 272 » Controlling Access to Documents: A Formal Access Control Mod... |
134
click to vote
IJSEKE
2011
14 years 3 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
104
click to vote
SACMAT
2009
ACM
15 years 4 months ago
2009
ACM
The role-based access control (RBAC) model has proven to be cost effective to reduce the complexity and costs of access permission management. To maximize the advantages offered...
104
click to vote
DSS
2006
14 years 11 months ago
2006
Due to the sensitive data contained in Data Warehouses (DW), it is essential to specify security measures from the early stages of the DW design and enforce them. Traditional acce...
IJCSA
2006
14 years 11 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
XMLSEC
2003
ACM
15 years 5 months ago
2003
ACM
Authorization systems today are increasingly complex. They span domains of administration, rely on many different authentication sources, and manage permissions that can be as com...