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

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.