Team Automata for Security Analysis

Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi

    Research output: Book/ReportReportOther research output

    19 Downloads (Pure)


    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.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages10
    Publication statusPublished - Feb 2004

    Publication series

    NameCTIT technical report series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)


    • IR-57003
    • EWI-5791

    Cite this

    ter Beek, M. H., Lenzini, G., & Petrocchi, M. (2004). Team Automata for Security Analysis. (CTIT technical report series; No. TR-CTIT-04-13). Enschede: Centre for Telematics and Information Technology (CTIT).