Team Automata for Security: – A Survey – |
| |
| Authors: | Maurice H. ter Beek Gabriele Lenzini Marinella Petrocchi |
| |
| Affiliation: | aIstituto di Scienza e Tecnologie dell'Informazione, CNR Area della Ricerca di Pisa, Via G. Moruzzi 1, 56124 Pisa, Italy;bDepartment of Computer Science, University of Twente P.O. Box 217, 7500 AE Enschede, The Netherlands;cIstituto di Informatica e Telematica, CNR Area della Ricerca di Pisa, Via G. Moruzzi 1, 56124 Pisa, Italy |
| |
| Abstract: | 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. |
| |
| Keywords: | team automata access control security cryptographic communication protocols |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
