Rima Addas, Ning Zhang. Formal Security Analysis and Performance Evaluation of the Linkable Anonymous Access Protocol. In Linawati, Made Sudiana Mahendra, Erich J. Neuhold, A Min Tjoa, Ilsun You, editors, Information and Communication Technology - Second IFIP TC5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014. Proceedings. Volume 8407 of Lecture Notes in Computer Science, pages 500-510, Springer, 2014. [doi]