2422 search results - page 1 / 485 » Security Policy Consistency |
SP
1997
IEEE
13 years 9 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
CORR
2000
Springer
13 years 4 months ago
2000
Springer
With the advent of wide security platforms able to express simultaneously all the policies comprising an organization's global security policy, the problem of inconsistencies...
EDBT
2008
ACM
14 years 5 months ago
2008
ACM
XML access control policies involving updates may contain security flaws, here called inconsistencies, in which a forbidden operation may be simulated by performing a sequence of ...
ACSAC
1996
IEEE
13 years 9 months ago
1996
IEEE
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
EUROSYS
2010
ACM
13 years 10 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...