EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

751 Team Automata for Security (A Survey)

Home Policy Brochure Browse Search User Area Contact Help

ter Beek, M. and Lenzini, G. and Petrocchi, M. (2004) Team Automata for Security (A Survey). In: Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004), Aug.30-Sept.4, 2004, London, United Kingdom. pp. 105-119. Electronic Notes in Theoretical Computer Science 128 (5). Elsevier. ISSN 1571-0661

Full text available as:

PDF

- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
195 Kb

Official URL: http://dx.doi.org/10.1016/j.entcs.2004.11.044

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:	Conference or Workshop Paper (Full Paper, Talk)
Research Group:	EWI-DIES: Distributed and Embedded Security
Research Program:	CTIT-ISTRICE: Integrated Security and Privacy in a Networked World
Additional Information:	Imported from DIES
ID Code:	751
Status:	Published
Deposited On:	12 December 2005
Refereed:	Yes
International:	Yes
More Information:	statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item