BibTeX record conf/ipccc/ChengMCH05

download as .bib file

@inproceedings{DBLP:conf/ipccc/ChengMCH05,
  author    = {Xiaochun Cheng and
               Xiaoqi Ma and
               Maggie Xiaoyan Cheng and
               Scott C.{-}H. Huang},
  title     = {Proving secure properties of cryptographic protocols with knowledge
               based approach},
  booktitle = {Proceedings of the 24th {IEEE} International Performance Computing
               and Communications Conference, {IPCCC} 2005, April 7-9, 2005, Phoenix,
               Arizona, {USA}},
  pages     = {3--9},
  year      = {2005},
  crossref  = {DBLP:conf/ipccc/2005},
  url       = {https://doi.org/10.1109/PCCC.2005.1460503},
  doi       = {10.1109/PCCC.2005.1460503},
  timestamp = {Tue, 12 Feb 2019 15:51:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ipccc/ChengMCH05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipccc/2005,
  title     = {Proceedings of the 24th {IEEE} International Performance Computing
               and Communications Conference, {IPCCC} 2005, April 7-9, 2005, Phoenix,
               Arizona, {USA}},
  publisher = {{IEEE}},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9884},
  isbn      = {0-7803-8991-3},
  timestamp = {Wed, 17 Sep 2014 19:35:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipccc/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics