Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra.

Ailun Liu, Huibiao Zhu, Yuan Fei, Shuangqing Xiang, Gang Lu, Wanling Xie

Browse the full COMPSAC paper archive.