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


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

info visites 3900781