DBLP BibTeX Record 'conf/ipccc/ChengMCH05'

@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 = {IPCCC},
  year      = {2005},
  pages     = {3-9},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/PCCC.2005.1460503},
  crossref  = {DBLP:conf/ipccc/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@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},
  booktitle = {IPCCC},
  publisher = {IEEE},
  year      = {2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Last update 2009-06-09 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page