@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@techreport{EVA-TR13,
  author =        {Cortier, V{\'e}ronique},
  institution =   {projet RNTL~EVA},
  month =         dec,
  note =          {9~pages},
  number =        {13},
  title =         {A Guide for {SECURIFY}},
  year =          {2003},
                   EVA-TR13.pdf},
}