173 search results - page 2 / 35 » Evaluating Access Control Policies Through Model Checking |
ISW
2004
Springer
13 years 10 months ago
2004
Springer
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...
ECOOPW
1999
Springer
13 years 9 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
DASC
2006
IEEE
13 years 9 months ago
2006
IEEE
We present a new approach to ensure the secure execution of itinerary-driven mobile agents, in which the specification of the navigational behavior of an agent is separated from t...
DBSEC
2010
13 years 6 months ago
2010
Abstract. Access control mechanisms are used to control which principals (such as users or processes) have access to which resources based on access control policies. To ensure the...
JHSN
2006
13 years 5 months ago
2006
We present a refined model for Role Based Access Control policies and define a risk measure for the model, which expresses elements of the operational, combinatorial and conflict ...