14331 search results - page 13 / 2867 » On the modeling and analysis of obligations |
110
click to vote
ATVA
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...
ESORICS
2007
Springer
15 years 5 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...
SBIA
2004
Springer
15 years 5 months ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...
CICLING
2003
Springer
15 years 4 months ago
2003
Springer
We present a dynamic deontic model for the interpretation of imperative sentences in terms of Obligation (O) and Permission (P). Under the view that imperatives prescribe actions ...
IM
1997
15 years 1 months ago
1997
Policies are a means of influencing management behaviour within a distributed system, without coding the behaviour into the managers. Authorisation policies specify what activitie...