1. AVISPA. Automated Validation of Internet Security Protocols and Applications. http://www.avispa-project.org/ . Accessed on January 2013.
2. AVISPA. AVISPA Web Tool. http://www.avispa-project.org/web-interface/expert.php/ . Accessed on May 2014.
3. Basin, D., Modersheim, S., & Vigano, L. (2005). OFMC: A symbolic model checker for security protocols. International Journal of Information Security, 4(3), 181–208.
4. Burnett, A., Byrne, F., Dowling, T., & Duffy, A. (2007). A biometric identity based signature scheme. International Journal of Network Security, 5(3), 317–326.
5. Chatterjee, S., Das, A. K., & Sing, J. K. (2014). An enhanced access control scheme in wireless sensor networks. Ad Hoc & Sensor Wireless Networks, 21(1–2), 121–149.