852 search results - page 120 / 171 » Model-Checking Access Control Policies |
WPES
2003
ACM
14 years 2 months ago
2003
ACM
Hidden Credentials are useful in situations where requests for service, credentials, access policies and resources are extremely sensitive. We show how transactions which depend o...
EWRL
2008
13 years 10 months ago
2008
We consider planning in a Markovian decision problem, i.e., the problem of finding a good policy given access to a generative model of the environment. We propose to use fitted Q-i...
ICISC
2007
13 years 10 months ago
2007
Establishing interoperability is the first and foremost problem of secure interoperation in multi-domain environments. In this paper, we propose a framework to facilitate the esta...
IANDC
2008
13 years 9 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
CCS
2010
ACM
13 years 7 months ago
2010
ACM
We address the problem of restricting root’s ability to change arbitrary files on disk, in order to prevent abuse on most current desktop operating systems. The approach first...