@inproceedings{121edd007b5945ffb02f3da5fda9d924,
title = "Reasoning about accountability within delegation",
abstract = "We propose a framework for the analysis of delegation protocols. Our framework allows to analyse how accountability is transferred (or kept) by delegator when she transfers some of her rights to the delegate. The ability to trace how accountability is distributed among principals of a system is crucial in many transactions that have a legal value, because accountability is usually a prerequisite to guarantee other well known security properties (e.g., non repudiation). Our approach starts from the notion of {"}provability{"} to formalise accountability. Then, we introduce new specifications for the analysis of delegation protocols and the distribution of credentials necessary to exercise delegated rights.",
author = "Bruno Crispo and Giancarlo Ruffo",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2001.; 3rd International Conference on Information and Communications Security, ICICS 2001 ; Conference date: 13-11-2001 Through 16-11-2001",
year = "2001",
doi = "10.1007/3-540-45600-7_29",
language = "English",
isbn = "3540428801",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "251--260",
editor = "Sihan Qing and Tatsuaki Okamoto and Jianying Zhou",
booktitle = "Information and Communications Security - 3rd International Conference, ICICS 2001, Proceedings",
address = "Germany",
}