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 - USA
    Duration: 1 Jan 2008 → …

    Conference

    Conference12th International Conference on Algebraic Methodology and Software Technology
    CityUSA
    Period01/01/2008 → …

    Cite this