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


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4137654