5252 search results - page 212 / 1051 » Logic in Access Control |
176
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
Correctness is a paramount attribute of any microprocessor design; however, without novel technologies to tame the increasing complexity of design verification, the amount of bugs...
211
Voted
CSL
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
205
click to vote
SACMAT
2005
ACM
16 years 23 days ago
2005
ACM
We investigate a generalization of the notion of XML security view introduced by Stoica and Farkas [17] and later refined by Fan et al. [8]. The model consists of access control ...
201
click to vote
WETICE
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper describes a security architecture designed to support role-based access control for distributed object systems in a large-scale, multi-organisational enterprise in whic...
189
click to vote
DBSEC
2008
15 years 8 months ago
2008
One truth holds for the healthcare industry - nothing should interfere with the delivery of care. Given this fact, the access control mechanisms used in healthcare to regulate and ...