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

Zhang Yi-jia,Liu Rui-ying,Kang Zhong-jian,Qi Han
DOI: https://doi.org/10.1109/compsac.2015.246
2015-01-01
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.
What problem does this paper attempt to address?