Brackin96'

BibTeX

@inproceedings{DBLP:conf/csfw/Brackin96,
  author    = {Stephen H. Brackin},
  title     = {A HOL extension of GNY for automatically analyzing cryptographic
               protocols},
  booktitle = {CSFW},
  year      = {1996},
  pages     = {62-},
  ee        = {http://csdl.computer.org/comp/proceedings/csfw/1996/7522/00/75220062abs.htm},
  crossref  = {DBLP:conf/csfw/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/csfw/1996,
  title     = {Ninth IEEE Computer Security Foundations Workshop, March
               10 - 12, 1996, Dromquinna Manor, Kenmare, County Kerry,
               Ireland},
  booktitle = {CSFW},
  publisher = {IEEE Computer Society},
  year      = {1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}