BibTeX record conf/sec/YongxingX00

download as .bib file

@inproceedings{DBLP:conf/sec/YongxingX00,
  author       = {Yongxing Sun and
                  Xinmei Wang},
  editor       = {Sihan Qing and
                  Jan H. P. Eloff},
  title        = {A Simple and Efficient Approach to Verfying Cryptographic Protocols},
  booktitle    = {Information Security for Global Information Infrastructures, {IFIP}
                  {TC11} Fifteenth Annual Working Conference on Information Security,
                  August 22-24, 2000, Beijing, China},
  series       = {{IFIP} Conference Proceedings},
  volume       = {175},
  pages        = {191--199},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 11 Aug 2011 07:53:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sec/YongxingX00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}