62 search results - page 2 / 13 » A Logic for State-Modifying Authorization Policies |
ESORICS
2006
Springer
13 years 9 months ago
2006
Springer
We propose a logic for specifying security policies at a very el of abstraction. The logic accommodates the subjective nature of affirmations for authorization and knowledge withou...
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a constructive authorization logic where the meanings of connectives are defined by their associated inference rules. This ensures that the logical reading of access c...
CSFW
2007
IEEE
13 years 9 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
CSFW
2010
IEEE
13 years 9 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
TKDE
2008
13 years 5 months ago
2008
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...