Back to University of Twente portal
Team Automata for Security Analysis
Beek ter, Maurice H. and Lenzini, Gabriele and Petrocchi, Marinella (2004) Team Automata for Security Analysis. [Report]
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 194Kb |
| 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. |
| Item Type: | Report |
| Copyright: | ©2004 CTIT |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/57003 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page