62 search results - page 1 / 13 » A Logic for State-Modifying Authorization Policies |
ESORICS
2007
Springer
13 years 11 months ago
2007
Springer
CSFW
2004
IEEE
13 years 8 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
SP
1997
IEEE
13 years 9 months ago
1997
IEEE
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
ACSAC
2001
IEEE
13 years 8 months ago
2001
IEEE
This paper presents the Authorization Service provided by Tivoli Policy Director (PD) and its use by PD family members as well as third-party applications. Policies are defined ov...
CAISE
2007
Springer
13 years 8 months ago
2007
Springer
The management and maintenance of a large number of Web services is not easy and, in particular, needs appropriate authorization policies to be defined so as to realize reliable an...