Verimag

bibtex

@inbook{BLM+11,
    title = {Formal Models and Techniques for Analyzing Security Protocols },
    author = {Bresson, Emmanuel and Lakhnech, Yassine and Mazar\'e, Laurent and Warinschi, Bogdan},
    year = {2011},
    chapter = {Computational Soundness - The Case of Diffie-Hellman Keys},
    publisher = {IOS Press},
    team = {DCS},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 16 ; visits: 432582