1. Armando, A., et al.: The AVISPA tool for the automated validation of internet security protocols and applications. In: Etessami, K., Rajamani, S.K. (eds.) Computer Aided Verification. CAV 2005. Lecture Notes in Computer Science, vol. 3576. Springer, Berlin, Heidelberg (2005). https://doi.org/10.1007/11513988_27
2. Armando, A., Compagna, L.: SATMC: A SAT-based model checker for security protocols. In: Alferes, J.J., Leite, J. (eds.) Logics in Artificial Intelligence. JELIA 2004. Lecture Notes in Computer Science, vol. 3229. Springer, Berlin, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30227-8_68
3. AVISPA Team: AVISPA v1.1 User Manual. Version: 1.1 (2006). SPAN + AVISPA Distribution. http://people.irisa.fr/Thomas.Genet/span/. Cited June 25, 2022
4. AVISPA Team: HLPSL Tutorial: A Beginner’s Guide to Modelling and Analysing Internet Security Protocols. Version: 1.1 (2006). SPAN + AVISPA Distribution. http://people.irisa.fr/Thomas.Genet/span/. Cited June 25, 2022
5. Basin, D., Modersheim, S., Vigano, L.: OFMC: a symbolic model-checker for security protocols. Int. J. Inform. Secur. 4, 181–208 (2005). https://doi.org/10.1007/s10207-004-0055-7