108 search results - page 2 / 22 » Enforcing Obligation with Security Monitors |
122
click to vote
POLICY
2005
Springer
15 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...
145
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
We present the Obligation Specification Language (OSL), a policy language for distributed usage control. OSL supports the formalization of a wide range of usage control requiremen...
168
click to vote
AMEC
2004
Springer
15 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...
131
click to vote
WECWIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...
151
click to vote
IANDC
2008
15 years 4 months ago
2008
Recently, attention has been given to formally characterize security policies that are enforceable by different kinds of security mechanisms. A very important research problem is ...