1. The AVISPA tool for the automated validation of internet security protocols and applications;Armando,2005
2. Quark: A lightweight hash;Aumasson,2010
3. AVISPA. (2014). Automated validation of internet security protocols and applications. .
4. AVISPA. (2014). AVISPA Web Tool. . Accessed on January 2014.
5. AVISPA. (2014). Automated validation of internet security protocols and applications. . Accessed on March 2013.