Specifying Data Sharing Agreements
June 2006
Vipin Swarup, The MITRE Corporation
Len Seligman, The MITRE Corporation
Arnon Rosenthal, The MITRE Corporation
ABSTRACT
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 produce and supply required data as needed. Producers
also need to manage their information supply chains
to ensure that their data is disseminated and protected appropriately.
In this paper, we present a novel model for data
sharing agreements that supports a wide variety of data
sharing policies. The model is based on distributed temporal
logic (DTL) predicates that are expressed over events
in dataflow graphs. A dataflow graph's nodes are principals
with local stores, and its edges are (typed) channels along
which data flows. We illustrate the model via examples and
discuss the kinds of analyses enabled by the model.
Additional Search Keywords
N/A
|
