@inproceedings{49b3fc2ed16e45d1add70bdc7d0132b4,
title = "A logic for auditing accountability in decentralized systems",
abstract = "We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforced. However, agents may be audited by an authority at an arbitrary moment in time. We design a logic that allows audited agents to prove their actions, and to prove their authorization to posses particular data. Accountability is defined in several flavors, including agent accountability and data accountability. Finally, we show the soundness of the logic.",
author = "R.J. Corin and S. Etalle and \{Hartog, den\}, J.I. and G. Lenzini and I.S. Staicu",
year = "2005",
doi = "10.1007/0-387-24098-5\_14",
language = "English",
isbn = "0-387-24050-0",
series = "IFIP International Federation for Information Processing (IFIPAICT)",
publisher = "Springer",
pages = "187--201",
editor = "T. Dimitrakos and F. Martinelli",
booktitle = "Formal Aspects in Security and Trust (Proceedings IFIP TC1 WG1.7 Workshop, FAST, Toulouse, France, August 26-27, 2004)",
address = "Germany",
}