124 search results - page 4 / 25 » Synthesising verified access control systems in XACML |
WOWMOM
2006
ACM
15 years 3 months ago
2006
ACM
: Nowadays many organisations share sensitive services through open network systems and this raises the need for an authorization framework that can interoperate even when the part...
IEEEARES
2006
IEEE
15 years 4 months ago
2006
IEEE
In highly open systems like the Internet, attribute-based access control (ABAC) has proven its appropriateness. The specification and maintenance of ABAC policies however has tur...
104
click to vote
SACMAT
2009
ACM
15 years 4 months 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...
LFCS
2007
Springer
15 years 4 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
SACMAT
2006
ACM
15 years 3 months ago
2006
ACM
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...