Team Automata for Security (A Survey)

Maurice H. ter Beek; Gabriele Lenzini; Marinella Petrocchi

doi:10.1016/j.entcs.2004.11.044

Team Automata for Security (A Survey)

Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

9 Citations (Scopus)

18 Downloads (Pure)

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

Original language	Undefined
Title of host publication	Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004)
Place of Publication	Amsterdam
Publisher	Elsevier
Pages	105-119
Number of pages	15
DOIs	https://doi.org/10.1016/j.entcs.2004.11.044
Publication status	Published - May 2004
Event	2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004) - London, United Kingdom Duration: 30 Aug 2004 → 4 Sep 2004

Publication series

Name	Electronic Notes in Theoretical Computer Science
Publisher	Elsevier
Number	5
Volume	128
ISSN (Print)	1571-0661
ISSN (Electronic)	1571-0661

Workshop

Workshop	2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004)
Period	30/08/04 → 4/09/04
Other	Aug.30-Sept.4, 2004

Keywords

EWI-751
IR-48630
METIS-220253

Access to Document

10.1016/j.entcs.2004.11.044

000000f1

Cite this

@inproceedings{3d944a0462b541d18221bd888e3c3401,

title = "Team Automata for Security (A Survey)",

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",

keywords = "EWI-751, IR-48630, METIS-220253",

author = "{ter Beek}, {Maurice H.} and Gabriele Lenzini and Marinella Petrocchi",

note = "Imported from DIES; null ; Conference date: 30-08-2004 Through 04-09-2004",

year = "2004",

month = may,

doi = "10.1016/j.entcs.2004.11.044",

language = "Undefined",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "5",

pages = "105--119",

booktitle = "Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004)",

}

ter Beek, MH, Lenzini, G & 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). Electronic Notes in Theoretical Computer Science, no. 5, vol. 128, Elsevier, Amsterdam, pp. 105-119, 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004), 30/08/04. https://doi.org/10.1016/j.entcs.2004.11.044

Team Automata for Security (A Survey). / ter Beek, Maurice H.; Lenzini, Gabriele; Petrocchi, Marinella.

Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004). Amsterdam : Elsevier, 2004. p. 105-119 (Electronic Notes in Theoretical Computer Science; Vol. 128, No. 5).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Team Automata for Security (A Survey)

AU - ter Beek, Maurice H.

AU - Lenzini, Gabriele

AU - Petrocchi, Marinella

N1 - Imported from DIES

PY - 2004/5

Y1 - 2004/5

N2 - 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

AB - 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

KW - EWI-751

KW - IR-48630

KW - METIS-220253

U2 - 10.1016/j.entcs.2004.11.044

DO - 10.1016/j.entcs.2004.11.044

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 105

EP - 119

BT - Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004)

PB - Elsevier

CY - Amsterdam

Y2 - 30 August 2004 through 4 September 2004

ER -