BibTeX record conf/iih-msp/HuangXLPZJ10

download as .bib file

@inproceedings{DBLP:conf/iih-msp/HuangXLPZJ10,
  author    = {Danqing Huang and
               Rui Xue and
               Feng Liu and
               Jianhua Peng and
               Zhenju Zhao and
               Dongyao Ji},
  editor    = {Isao Echizen and
               Jeng{-}Shyang Pan and
               Dieter W. Fellner and
               Alexander Nouak and
               Arjan Kuijper and
               Lakhmi C. Jain},
  title     = {Formal Verification of {HMQV} Using {ASM-SPV}},
  booktitle = {Sixth International Conference on Intelligent Information Hiding and
               Multimedia Signal Processing {(IIH-MSP} 2010), Darmstadt, Germany,
               15-17 October, 2010, Proceedings},
  pages     = {486--489},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://doi.org/10.1109/IIHMSP.2010.124},
  doi       = {10.1109/IIHMSP.2010.124},
  timestamp = {Mon, 06 Apr 2020 19:01:12 +0200},
  biburl    = {https://dblp.org/rec/conf/iih-msp/HuangXLPZJ10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics