A Security Protocol Applied to Covert Communication Platform and Its Formal Analysis
Yi-Jia Zhang, Ruiying Liu, Kang Zhong-Jian, Qi Han · 2015
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.