@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/>
@inproceedings{CMR01,
  address =       {Cape Breton, Nova Scotia, Canada},
  author =        {Cortier, V{\'e}ronique and Millen, Jonathan K. and
                   Rue{\ss}, Harald},
  booktitle =     {{P}roceedings of the 14th {IEEE} {C}omputer
                   {S}ecurity {F}oundations {W}orkshop ({CSFW}'01)},
  month =         jun,
  pages =         {97-110},
  publisher =     {{IEEE} Computer Society Press},
  title =         {Proving Secrecy is Easy Enough},
  year =          {2001},
}