2501 search results - page 1 / 501 » Obligations and Their Interaction with Programs |
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...
DALT
2009
Springer
13 years 11 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
BCSHCI
2008
13 years 9 months ago
2008
Messaging with new media should be fun, but sometimes participating in conversations can become a burden for users due to the effort required. In this paper, examples of such situ...
JLP
2011
13 years 2 months ago
2011
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...
IFIP
2005
Springer
14 years 29 days ago
2005
Springer
