Modeling and Verifying Identity Authentication Security of HDFS Using CSP.

Chao Xu, Huibiao Zhu, Wanling Xie

Browse the full APSEC paper archive.