Guttman02'

BibTeX

@inproceedings{DBLP:conf/csfw/Guttman02,
  author    = {Joshua D. Guttman},
  title     = {Security Protocol Design via Authentication Tests},
  booktitle = {CSFW},
  year      = {2002},
  pages     = {92-103},
  ee        = {http://csdl.computer.org/comp/proceedings/csfw/2002/1689/00/16890092abs.htm},
  crossref  = {DBLP:conf/csfw/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/csfw/2002,
  title     = {15th IEEE Computer Security Foundations Workshop (CSFW-15
               2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada},
  booktitle = {CSFW},
  publisher = {IEEE Computer Society},
  year      = {2002},
  isbn      = {0-7695-1689-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}