Title of talk: Team Automata and their Application to Security Analysis

Abstract

In this talk I will first briefly describe the background and origins of team automata - an automata-theoretic framework that was introduced for modelling collaboration between system components - after which I will show how team automata can be used for security analysis. To this aim I will show that team automata are well suited to model an instance of the Efficient Multi-chained Stream Signature protocol and, moreover, that the Generalized Non-Deducibility on Compositions schema - a well-established schema for definining and analyzing security properties - can be reformulated in terms of team automata.