852 search results - page 7 / 171 » Model-Checking Access Control Policies |
PDCAT
2005
Springer
14 years 2 months ago
2005
Springer
Large-Scale network such as the Internet consist of a large number of sub-networks. Since each subnetwork has management privileges and policies individually, it is difficult to r...
DBSEC
2007
13 years 10 months ago
2007
The extensible access control markup language (XACML) is the standard access control policy specification language of the World Wide Web. XACML does not provide exclusive accesse...
ENTCS
2007
13 years 8 months ago
2007
In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic ...
ESORICS
2008
Springer
13 years 10 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
IADIS
2004
13 years 10 months ago
2004
The PolicyUpdater1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based ...