Introduction and
Contacts
Security Projects
Distributed Applications
Projects
Tutorials
Software
Delegation of accountability protocols      

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.

Papers (selection)  

B. Crispo e G. Ruffo Reasoning about Accountability within Delegation Proceedings of the Third International Conference on Information and Communication Security (ICICS-2001), LNCS 2229, Springer Verlag, Novembre 2001, Xžan (China).

Software and Links  

Presentation at ICICS'01 [pdf]

More info? Contact person is Giancarlo Ruffo: ruffo[at]di.unito.it

[Back]

 
Links
Dept. of
Computer Science
University of
Turin
Certification
Authority
Web Technology
Lab
Web Technology
Forum