852 search results - page 17 / 171 » Model-Checking Access Control Policies |
GRID
2007
Springer
14 years 2 months ago
2007
Springer
– Grid access control policy languages today are generally one of two extremes: either extremely simplistic, or overly complex and challenging for even security experts to use. I...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...
ICDCIT
2004
Springer
14 years 2 months ago
2004
Springer
The need to securely share information on an ad-hoc basis between collaborating entities is increasingly becoming important. We propose a coalition based access control model (CBAC...
SPW
2001
Springer
14 years 1 months ago
2001
Springer
Although the notion of negotiation has been used extensively in secure communication protocols to establish common keying states, protocol modes and services, this notion is only n...