Modeling and Verification of Trust and Reputation Systems.


Trust is a basic soft-security condition influencing interactive
and cooperative behaviors in online communities. Several systems
and models have been proposed to enforce and investigate the role
of trust in the process of favoring successful cooperations while
minimizing selfishness and failure. However, the analysis of their
effectiveness and efficiency is a challenging issue. The goal of
this talk is to describe a formal approach to the design and
verification of trust infrastructures used in the setting of
software architectures and computer networks supporting online
communities, like the two systems discussed in the previous talk.
The proposed framework encompasses a process calculus of concurrent
systems, a temporal logic for trust, and model checking techniques.
Both functional and quantitative aspects can be modeled and analyzed,
while several types of trust models can be integrated.


Bio:
----
Alessandro Aldini received the Ph.D. degree in Computer Science
from the University of Bologna in 2002.  He is currently Associate
Professor in Computer Science at the University of Urbino "Carlo Bo",
Italy.
His research interests are focused on the study and application of
automated methodologies for the design and verification of computer
and network systems, with a particular emphasis on the foundations
of security, dependability, and performance analysis.
He has co-authored one book for Springer (A Process Algebraic
Approach to Software Architecture Design), more than 60
peer-reviewed papers published on international journals and
conference proceedings, and guest-edited about a dozen books for
international leading publishers.
He is co-chair of the Foundations of Security Analysis and Design
(FOSAD) series of international summerschools, which has been one
of the foremost events established with the aim of disseminating
knowledge in the critical area of security in computer systems and
networks. 
He is in the steering committee of the International Workshop on
Quantitative Aspects of Programming Languages (QAPL), whose goal
is to discuss the explicit use of quantitative information either
directly in the model specification of computer systems or as a
tool for the analysis of such systems.