Verimag

bibtex

@inproceedings{CDL11,
    title = {Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience },
    author = {Corbineau, Pierre and Duclos, Mathilde and Lakhnech, Yassine},
    year = {2011},
    booktitle = {Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
    pages = {378-393},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {7086},
    team = {DCS},
}

Publication Sections


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

Logged in visitors: 12 ; visits: 449613