We show that team automata (TA) are well suited for security analysis by reformulating the Generalized Non-Deducibility on Compositions (GNDC) schema in terms of TA. We then use this to show that integrity is guaranteed for a case study in which TA model an instance of the Efficient Multi-chained Stream Signature (EMSS) protocol.
Team Automata for Security Analysis
Ter Beek M;Petrocchi M
2004
Abstract
We show that team automata (TA) are well suited for security analysis by reformulating the Generalized Non-Deducibility on Compositions (GNDC) schema in terms of TA. We then use this to show that integrity is guaranteed for a case study in which TA model an instance of the Efficient Multi-chained Stream Signature (EMSS) protocol.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_160752-doc_125358.pdf
accesso aperto
Descrizione: Team Automata for Security Analysis
Dimensione
186.91 kB
Formato
Adobe PDF
|
186.91 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.