Sciweavers

58 search results - page 1 / 12
» Automated Decomposition of Access Control Policies
Sort
View
62
Voted
POLICY
2005
Springer
15 years 3 months ago
Automated Decomposition of Access Control Policies
Modern dynamic distributed information systems need access control policies to address controlling access to multiple resources that are distributed. The s may be considered as a ...
Linying Su, David W. Chadwick, Andrew Basden, Jame...
STTT
2008
134views more  STTT 2008»
14 years 9 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
58
Voted
DISCEX
2003
IEEE
15 years 2 months ago
A Framework for Automated Negotiation of Access Control Policies
Vijay G. Bharadwaj, John S. Baras
CADE
2006
Springer
15 years 9 months ago
Specifying and Reasoning About Dynamic Access-Control Policies
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
Daniel J. Dougherty, Kathi Fisler, Shriram Krishna...
SACMAT
2006
ACM
15 years 3 months ago
Towards reasonability properties for access-control policy languages
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...
Michael Carl Tschantz, Shriram Krishnamurthi