@inproceedings{c9905ae695a94eafa7c78fe3db9794ab,
title = "A security protocol applied to covert communication platform and its formal analysis",
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 = "Covert communication, Formal analysis, Security protocol",
author = "Zhang Yi-Jia and Liu Rui-Ying and Kang Zhong-Jian and Qi Han",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 39th IEEE Annual Computer Software and Applications Conference Workshops, COMPSACW 2015 ; Conference date: 01-07-2015 Through 05-07-2015",
year = "2015",
month = sep,
day = "21",
doi = "10.1109/COMPSAC.2015.246",
language = "英语",
series = "Proceedings - International Computer Software and Applications Conference",
publisher = "IEEE Computer Society",
pages = "307--311",
editor = "Ahamed, \{Sheikh Iqbal\} and Chang, \{Carl K.\} and Ivica Crnkovic and Pao-Ann Hsiung and Jingwei Yang and Gang Huang and William Chu",
booktitle = "Proceedings - 2015 IEEE 39th Annual Computer Software and Applications Conference Workshops, COMPSACW 2015",
address = "美国",
}