• DocumentCode
    3658447
  • Title

    A Security Protocol Applied to Covert Communication Platform and Its Formal Analysis

  • Author

    Zhang Yi-Jia;Liu Rui-Ying;Kang Zhong-Jian;Qi Han

  • Author_Institution
    Inf. Security Control Lab., Jiangnan Electron. Commun. Res. Inst., Jiaxing, China
  • Volume
    3
  • fYear
    2015
  • fDate
    7/1/2015 12:00:00 AM
  • Firstpage
    307
  • Lastpage
    311
  • Abstract
    In this paper, we deeply research on covert communication technique based on information security, propose a new certification and key exchange protocol, which is applied to hidden communication platform and conducts formal analysis on the security protocol. The analysis results have proved its reliability and completeness.
  • Keywords
    "Protocols","Niobium","Public key","Authentication","Certification"
  • Publisher
    ieee
  • Conference_Titel
    Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual
  • Electronic_ISBN
    0730-3157
  • Type

    conf

  • DOI
    10.1109/COMPSAC.2015.246
  • Filename
    7273374
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3658447