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},
}


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3901391