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 he transfers some of her rights to delegate. The ability to trace how accountability is distributed among principals of a system is crucial in many transactions that have a l e g a l v alue, 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 i n troduce new speci cations for the analysis of delegation protocols and the distribution of credentials necessary to exercise delegated rights.
Here it analyses the how accountability is transferred by the delegator when he/she is transferred some of their right to the delegate REF .
Reasoning about Accountability within Delegation
IN PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATIONS SECURITY
Computer Science