A secure user anonymity-preserving biometric-based multi-server authenticated key agreement scheme using smart cards
the avispa tool for the automated validation of internet security protocols and applications .