Discovering Attacks on Security Protocols by Refuting Incorrect Inductive Conjectures (bibtex)
by Graham Steel
Reference:
Discovering Attacks on Security Protocols by Refuting Incorrect Inductive Conjectures (Graham Steel), 2004.
Bibtex Entry:
@phdthesis{phd-steel,
  author =        {Steel, Graham},
  month =         may,
  school =        {School of Informatics, University of Edinburgh, UK},
  type =          {{Ph.}{D.} {T}hesis},
  title =         {Discovering Attacks on Security Protocols by Refuting
                   Incorrect Inductive Conjectures},
  year =          {2004},
  nmonth =        {5},
  url =           {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/steel-these.pdf},
  PDF =           {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/steel-these.pdf},
  lsv-category =  {thes},
  lsv-time =      {ant},
  wwwpublic =     {perso},
}
Powered by bibtexbrowser