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
fDate :
7/1/2015 12:00:00 AM
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"
Conference_Titel :
Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual
Electronic_ISBN :
0730-3157
DOI :
10.1109/COMPSAC.2015.246
