852 search results - page 37 / 171 » Model-Checking Access Control Policies |
UML
2005
Springer
14 years 3 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
CSFW
2010
IEEE
14 years 2 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
SP
2007
IEEE
14 years 4 months ago
2007
IEEE
In several distributed systems a user should only be able to access data if a user posses a certain set of credentials or attributes. Currently, the only method for enforcing such...
VLDB
2007
ACM
14 years 4 months ago
2007
ACM
Data outsourcing is emerging today as a successful paradigm allowing users and organizations to exploit external services for the distribution of resources. A crucial problem to b...
IASTEDSE
2004
13 years 11 months ago
2004
The existence of a central security authority is too restrictive for pervasive computing environments. Existing distributed security schemes fail in a pervasive computing environm...