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