Team Automata for Security Analysis

Ter Beek M., Lenzini G., Petrocchi M.

Team automata  Security analysis  GNDC  Protocol validation 

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.