213 search results - page 18 / 43 » A formal security policy for xenon |
168
click to vote
ACSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
Current Web technologies use access control lists (ACLs) for enforcing regulations and practices governing businesses today. Having the policy hard-coded into ACLs causes manageme...
185
click to vote
SACMAT
2009
ACM
16 years 17 days ago
2009
ACM
Many access control policy languages, e.g., XACML, allow a policy to contain multiple sub-policies, and the result of the policy on a request is determined by combining the result...
140
click to vote
IEEEARES
2007
IEEE
16 years 11 days ago
2007
IEEE
Validating an end-entity X.509 digital certificate prior to authorizing it for using a resource into the computational Grid has become a widely studied topic due to its importance...
162
click to vote
CCS
2007
ACM
16 years 7 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
169
click to vote
SEKE
2007
Springer
16 years 5 days ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...