Researchers from two CNR Institutes in Pisa are studying ways in which a formal model of team automata can be exploited to specify and analyse security-related issues.
Contributions of team automata in security
Ter Beek M;Petrocchi M
2005
Abstract
Researchers from two CNR Institutes in Pisa are studying ways in which a formal model of team automata can be exploited to specify and analyse security-related issues.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_172098-doc_125911.pdf
solo utenti autorizzati
Descrizione: Contributions of team automata in security
Tipologia:
Versione Editoriale (PDF)
Dimensione
409.57 kB
Formato
Adobe PDF
|
409.57 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.
