30 search results - page 1 / 6 » Specifying and Enforcing High-Level Semantic Obligation Poli... |
POLICY
2007
Springer
13 years 10 months ago
2007
Springer
Obligation Policies specify management actions that must be performed when a particular kind of event occurs and certain conditions are satisfied. Large scale distributed systems...
POLICY
2005
Springer
13 years 10 months ago
2005
Springer
The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation. In particular, history-based policies allow the s...
SP
2008
IEEE
13 years 4 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
ESORICS
2000
Springer
13 years 8 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
AMEC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...