Team Automata for Security - A Survey -

Beek ter, Maurice H. and Lenzini, Gabriele and Petrocchi, Marinella (2004) Team Automata for Security - A Survey -. Electronic Notes in Theoretical Computer Science (ENTCS), 128 (5). pp. 105-119. ISSN 1571-0661

PDF
Restricted to UT campus only: Request a copy
256Kb

Abstract:	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. We present a survey of the use of team automata for the specification and analysis of some issues from the field of security. In particular, we show how team automata can adequately be used to model and verify various access control policies, multicast/broadcast communication protocols, and general (cryptographic) communication protocols.
Item Type:	Article
Copyright:	©2004 Elsevier
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Distributed and Embedded Systems (DIES)
Link to this item:	http://purl.utwente.nl/publications/48630
Official URL:	http://dx.doi.org/10.1016/j.entcs.2004.11.044
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 220253