@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@Article{TSI05,
author = {V\'eronique Cortier},
title = {V\'erifier les protocoles cryptographiques},
journal = {Technique et Science Informatique, Hermes Science},
year = {2005},
volume = {24},
number = {1},
pages = {115-140},
}