Title of paper: Team Automata for Security - A Survey -

Abstract

In [Kle03], Kleijn presented a survey of the use of team automata for the specification and analysis of phenomena from the field of computer supported cooperative work, in particular notions related to groupware systems. In this paper we present a survey of the use of team automata for the specification and analysis of some issues from the field of security.


[Kle03] J. Kleijn, Team Automata for CSCW - A Survey -. In Petri Net Technology for Communication-Based Systems - Advances in Petri Nets (H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, eds.), Lecture Notes in Computer Science 2472, Springer-Verlag, Berlin, 2003, 295 - 320.