253 search results - page 6 / 51 » On the Decidability of the Safety Problem for Access Control... |
DANCE
2002
IEEE
14 years 15 days ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
JLP
2011
13 years 2 months ago
2011
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
IADIS
2004
13 years 9 months ago
2004
The Shibboleth middleware from Internet2 provides a way for users at higher-education institutions to access remote electronic content in compliance with the inter-institutional l...
TDSC
2008
13 years 7 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...