Modeling and Analyzing the (mu)TESLA Protocol Using CSP.

Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu

Browse the full TASE paper archive.