852 search results - page 48 / 171 » Model-Checking Access Control Policies |
104
click to vote
ICDE
2008
IEEE
14 years 11 months ago
2008
IEEE
The management of privacy and security in the context of data stream management systems (DSMS) remains largely an unaddressed problem to date. Unlike in traditional DBMSs where acc...
POLICY
2009
Springer
14 years 4 months ago
2009
Springer
—Access control and privacy policy relations tend to focus on decision outcomes and are very sensitive to defined terms and state. Small changes or updates to a policy language ...
ICDE
2006
IEEE
14 years 11 months ago
2006
IEEE
We present ACXESS (Access Control for XML with Enhanced Security Specifications), a system for specifying and enforcing enhanced security constraints on XML via virtual "secu...
ACSAC
1999
IEEE
14 years 2 months ago
1999
IEEE
Decoupling authorization logic from application logic allows applications with fine-grain access control requirements to be independent from a particular access control policy and...
CAI
2006
Springer
13 years 10 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...