Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Lenzini G., Petrocchi M. Team Automata for Security Analysis. 2004.
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.
URL: http://matrix.iei.pi.cnr.it/FMT/WEBPAPER/TRacsd.ps
Subject Team automata
Security analysis
Protocol validation
D.2.4 Software/Program Verification. Formal methods. Validation
K.6.5 Security and Protection

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