AnBx - Security Protocols Design and Verification

Michele Bugliesi, Paolo Modesti

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

    78 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

    Bugliesi, M., & Modesti, P. (2010). AnBx - Security Protocols Design and Verification. In A. Armando, & G. Lowe (Eds.), Revised Selected Papers, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010: Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop (Vol. 6186, pp. 164-184). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-642-16074-5_12