AnBx - Security Protocols Design and Verification

Michele Bugliesi, Paolo Modesti

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    135 Downloads (Pure)
    Original languageEnglish
    Title of host publicationRevised Selected Papers, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010
    Subtitle of host publicationAutomated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop
    EditorsAlessandro Armando, Gavin Lowe
    PublisherSpringer
    Pages164-184
    Number of pages21
    Volume6186
    DOIs
    Publication statusPublished - 2010
    EventAutomated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop - Paphos, Cyprus
    Duration: 27 Mar 201028 Mar 2010

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer

    Conference

    ConferenceAutomated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop
    Abbreviated titleARSPA-WITS 2010
    CountryCyprus
    CityPaphos
    Period27/03/1028/03/10

    Cite this