PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Lenzini G., Petrocchi M. Team Automata for Security - A Survey -. 2004.
 
 
Abstract
(English)
In [Kle03], 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.
Subject Team automata
Access control
Security
Cryptographic communication protocols
K.6.5 Security and Protection
D.4.6 Security and Protection. Access controls
D.4.6 Security and Protection. Cryptographic controls


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