Skip to contents

  1. Chevalier, Yannick [Author]; Kuesters, Ralf [Author]; Rusinowitch, Michaël [Author]; Turuani, Mathieu [Author]

    Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    MACAU: Open Access Repository of Kiel University, 2003

  2. Liskov, Moses D.; Guttman, Joshua D.; Ramsdell, John D.; Rowe, Paul D.; Thayer, F. Javier

    Foundations of Security, Protocols, and Equational Reasoning: Enrich-by-Need Protocol Analysis for Diffie-Hellman

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer International Publishing, 2019

    Published in: Foundations of Security, Protocols, and Equational Reasoning