Team Automata for Security - A Survey -

Share/Save/Bookmark

Beek, Maurice H. ter 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

[img] PDF
Restricted to UT campus only
: Request a copy
262kB
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
Additional information:Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004), 30 August 2004
Copyright:©2004 Elsevier
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
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

 

Repository Staff Only: item control page

Metis ID: 220253