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

Yi-Jia Zhang, Rui-Ying Liu, Zhong-Jian Kang, Han Qi

Browse the full COMPSAC paper archive.