A formal analysis for capturing replay attacks in cryptographic protocols

Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    Original languageEnglish
    Title of host publication12th Asian Computing Science Conference, ASIAN 2007 : Lecture Notes in Computer Science
    Volume4846
    PublisherSpringer
    Publication date2007
    Pages150-165
    Publication statusPublished - 2007
    Event12th Asian Computing Science Conference, ASIAN 2007 -
    Duration: 1 Jan 2007 → …

    Conference

    Conference12th Asian Computing Science Conference, ASIAN 2007
    Period01/01/2007 → …

    Cite this

    Gao, H., Bodei, C., Degano, P., & Nielson, H. R. (2007). A formal analysis for capturing replay attacks in cryptographic protocols. In 12th Asian Computing Science Conference, ASIAN 2007: Lecture Notes in Computer Science (Vol. 4846, pp. 150-165). Springer.