852 search results - page 78 / 171 » Model-Checking Access Control Policies |
MEDINFO
2007
13 years 11 months ago
2007
Ongoing concerns have been raised over the effectiveness of information technology products and systems in maintaining privacy protection for sensitive data. The aim is to ensure ...
SP
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
NDSS
2003
IEEE
14 years 3 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
ICWS
2008
IEEE
13 years 11 months ago
2008
IEEE
We study the access control integration problem for web services. Organizations frequently use many services, each with its own access control policies, that must interoperate whi...
JCP
2006
13 years 10 months ago
2006
We propose and evaluate a novel framework for enforcing global coordination and control policies over message passing software components in enterprise computing environments. This...