A Formal Analysis of Complex Type Flaw Attacks on Security Protocols

Han Gao, Chiara Bodei, Pierpaolo Degano

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science
    Volume5140
    PublisherSpringer
    Publication date2008
    Pages167-183
    Publication statusPublished - 2008
    Event12th International Conference on Algebraic Methodology and Software Technology - Urbana, United States
    Duration: 28 Jul 200831 Jul 2008
    Conference number: 12

    Conference

    Conference12th International Conference on Algebraic Methodology and Software Technology
    Number12
    Country/TerritoryUnited States
    CityUrbana
    Period28/07/200831/07/2008

    Cite this