Team automata for security -- a survey
In [30], 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.
ENTCS, 2005
Authors: M. ter Beek, G. Lenzini, M. Petrocchi
IIT authors:
Type: Article in non-ISI Journal with international referees
Field of reference: Information Technology and Communication Systems
