Proving Secrecy is Easy Enough

Proving Secrecy is Easy Enough. Véronique Cortier, Jonathan K. Millen, and Harald Rueß. In Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW'01), pp. 97–110, IEEE Computer Society Press, Cape Breton, Nova Scotia, Canada, June 2001.


[PDF] [PS] 




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