1134 search results - page 38 / 227 » Distributed Proving in Access-Control Systems |
139
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
114
click to vote
POLICY
2007
Springer
15 years 8 months ago
2007
Springer
We present a discretionary access control framework that can be used to control a principal’s ability to link information from two or more audit records and compromise a user’...
105
Voted
ACSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper describes the implementation of an enforcement module for file system security implemented as part of a security architecture for distributed systems which enforces a c...
104
click to vote
CCS
2004
ACM
15 years 8 months ago
2004
ACM
We examine the problem of providing useful feedback about access control decisions to users while controlling the disclosure of the system’s security policies. Relevant feedback...
124
Voted
ICDCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Trust negotiation supports authentication and access control across multiple security domains by allowing parties to use non-forgeable digital credentials to establish trust. By t...