PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Lenzini G., Petrocchi M. Team Automata for Security Analysis. 2004.
 
 
Abstract
(English)
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
GNDC
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