Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra | IEEE Conference Publication | IEEE Xplore