Verimag

bibtex

@inproceedings{BLP03b,
    title = {HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols },
    author = {Bozga, Liana and Lakhnech, Yassine and P\'erin, Micha\"el},
    year = {2003},
    booktitle = {15th International Conference on Computer Aided Verification (CAV),},
    series = {lncs},
    volume = {2725},
    team = {DCS,PACSS},
}

Publication Sections


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

info visites 777236