Team Automata for Security (A Survey)

Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)
    11 Downloads (Pure)

    Abstract

    Kleijn presented a survey of the use of team automata for the specification and analysis of phenomena from the field of computer supported cooperative work, in particular notions related to groupware systems. We present a survey of the use of team automata for the specification and analysis of some issues from the field of security. In particular, we show how team automata can adequately be used to model and verify various access control policies, multicast/broadcast communication protocols, and general (cryptographic) communication protocols
    Original languageUndefined
    Title of host publicationProceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004)
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages105-119
    Number of pages15
    DOIs
    Publication statusPublished - May 2004

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    PublisherElsevier
    Number5
    Volume128
    ISSN (Print)1571-0661
    ISSN (Electronic)1571-0661

    Keywords

    • EWI-751
    • IR-48630
    • METIS-220253

    Cite this

    ter Beek, M. H., Lenzini, G., & Petrocchi, M. (2004). Team Automata for Security (A Survey). In Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004) (pp. 105-119). (Electronic Notes in Theoretical Computer Science; Vol. 128, No. 5). Amsterdam: Elsevier. https://doi.org/10.1016/j.entcs.2004.11.044