Title of paper: Contributions of Team Automata in Security

Abstract

Researchers from two CNR Institutes in Pisa are studying ways in which a formal model of team automata can be exploited to specify and analyse security-related issues.