BibTeX record conf/compsac/LiuZFXLX17

download as .bib file

  author    = {Ailun Liu and
               Huibiao Zhu and
               Yuan Fei and
               Shuangqing Xiang and
               Gang Lu and
               Wanling Xie},
  editor    = {Sorel Reisman and
               Sheikh Iqbal Ahamed and
               Claudio Demartini and
               Thomas M. Conte and
               Ling Liu and
               William R. Claycomb and
               Motonori Nakamura and
               Edmundo Tovar and
               Stelvio Cimato and
               Chung{-}Horng Lung and
               Hiroki Takakura and
               Ji{-}Jiang Yang and
               Toyokazu Akiyama and
               Zhiyong Zhang and
               Kamrul Hasan},
  title     = {Modeling and Analysis of the Security Protocol in {C-DAX} Based on
               Process Algebra},
  booktitle = {41st {IEEE} Annual Computer Software and Applications Conference,
               {COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 1},
  pages     = {39--44},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {},
  doi       = {10.1109/COMPSAC.2017.170},
  timestamp = {Mon, 16 Oct 2017 15:00:34 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of Schloss Dagstuhl - Leibniz Center for Informatics