On obligations
M Hilty, D Basin, A Pretschner - … on Research in Computer Security, Milan …, 2005 - Springer
Access control is concerned with granting access to sensitive data based on conditions that
relate to the past or present, so-called provisions. Expressing requirements from the domain …
relate to the past or present, so-called provisions. Expressing requirements from the domain …
Obligations and their interaction with programs
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 interaction …
present a very general model of obligations as objects with state, and discuss its interaction …
An order‐based algorithm for implementing multiparty synchronization
JA Pérez, R Corchuelo, M Toro - … and Computation: Practice …, 2004 - Wiley Online Library
Multiparty interactions are a powerful mechanism for coordinating several entities that need
to cooperate in order to achieve a common goal. In this paper, we present an algorithm for …
to cooperate in order to achieve a common goal. In this paper, we present an algorithm for …
Metareasoning about security protocols using distributed temporal logic
We introduce a version of distributed temporal logic for rigorously formalizing and proving
metalevel properties of different protocol models, and establishing relationships between …
metalevel properties of different protocol models, and establishing relationships between …
Distributed temporal logic for the analysis of security protocol models
The distributed temporal logic DTL is an expressive logic, well suited for formalizing
properties of concurrent, communicating agents. We show how DTL can be used as a …
properties of concurrent, communicating agents. We show how DTL can be used as a …
Specifying data sharing agreements
V Swamp, L Seligman… - Seventh IEEE International …, 2006 - ieeexplore.ieee.org
When consumers build value-added services on top of data resources they do not control,
they need to manage their information supply chains to ensure that their data suppliers …
they need to manage their information supply chains to ensure that their data suppliers …
Quantum state transformations and branching distributed temporal logic
Abstract The Distributed Temporal Logic DTL allows one to reason about temporal
properties of a distributed system from the local point of view of the system's agents, which …
properties of a distributed system from the local point of view of the system's agents, which …
[HTML][HTML] A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
Abstract The Distributed Temporal Logic DTL allows one to reason about temporal
properties of a distributed system from the local point of view of the system's agents, which …
properties of a distributed system from the local point of view of the system's agents, which …
Data models with multiple temporal dimensions: Completing the picture
C Combi, A Montanari - … , CAiSE 2001 Interlaken, Switzerland, June 4–8 …, 2001 - Springer
There is a widespread recognition that valid and transaction times are the fundamental
temporal dimensions of any fact relative to a database. There are, however, temporal …
temporal dimensions of any fact relative to a database. There are, however, temporal …
A data sharing agreement framework
V Swarup, L Seligman, A Rosenthal - International Conference on …, 2006 - Springer
When consumers build value-added services on top of data resources they do not control,
they need to manage their information supply chains to ensure that their data suppliers …
they need to manage their information supply chains to ensure that their data suppliers …