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.
Team Automata for Security - A Survey
Ter Beek M H;Petrocchi M
2004
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_173994-doc_2102.pdf
non disponibili
Descrizione: Team Automata for Security - A Survey
Dimensione
233.87 kB
Formato
Adobe PDF
|
233.87 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
