DBLP Record 'conf/ndss/Brackin97'

BibTeX

@inproceedings{DBLP:conf/ndss/Brackin97,
  author    = {Stephen H. Brackin},
  title     = {An Interface Specification Language for Automatically Analyzing
               Cryptographic Protocols},
  booktitle = {NDSS},
  year      = {1997},
  ee        = {http://www.isoc.org/isoc/conferences/ndss/97/brack_sl.pdf},
  crossref  = {DBLP:conf/ndss/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ndss/1997,
  title     = {Proceedings of the Network and Distributed System Security
               Symposium, NDSS 1997, San Diego, California, USA},
  booktitle = {NDSS},
  publisher = {IEEE Computer Society},
  year      = {1997},
  isbn      = {0-8186-7767-8, 0-8186-7769-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}