Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Lenzini G., Petrocchi M. Team Automata for Security - A Survey. In: International Workshop on Security Issues in Coordination Models, (London, UK, 30 August 2004). Proceedings, vol. 128, 5 pp. 105 - 119. R. Focardi and G. Zavattaro (eds.). Electronic Notes in Theoretical Computer Science, Elsevier Science, 2005.
In [Kleijn, J., Team Automata for CSCW - A Survey -, Petri Net Technology for Communication-Based Systems-Advances in Petri Nets, LNCS 2472, Springer, 2003, 295-320], 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. 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.
URL: http://dx.doi.org/10.1016/j.entcs.2004.11.044
Subject Team automata
Access control
Cryptographic communication protocols
D.4.6 Security and Protection. Verification
F.1.1 Models of Computation. Automata
K.6.5 Security and Protection

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional