A Two-Factor RSA-Based Robust Authentication System for Multiserver Environments

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg6"><tr><td colspan="2">SUMMARY</td></tr><tr><td colspan="2"> SAFE</td></tr><tr><td colspan="2">DETAILS</td></tr><tr><td colspan="2"> BOUNDED_NUMBER_OF_SESSIONS</td></tr><tr><td colspan="2"> TYPED_MODEL</td></tr><tr><td colspan="2">PROTOCOL</td></tr><tr><td colspan="2"> /home/avispa/web-interface-computation</td></tr><tr><td colspan="2">/./tempdir/workfilegQjd7wqdOJ.if</td></tr><tr><td colspan="2">GOAL</td></tr><tr><td colspan="2"> As Specified</td></tr><tr><td colspan="2">BACKEND</td></tr><tr><td colspan="2"> CL-AtSe</td></tr><tr><td colspan="2">STATISTICS</td></tr><tr><td colspan="2"> Analysed: 15 states</td></tr><tr><td colspan="2"> Reachable: 15 states</td></tr><tr><td colspan="2"> Translation: 0.32 seconds</td></tr><tr><td colspan="2"> Computation: 0.00 seconds</td></tr></table></td></tr></table>

<div>CL-AtSe back-end result of the proposed protocol.</div>

Security and Communication Networks

alg6

Algorithm 6

Algorithm 6: A Two-Factor RSA-Based Robust Authentication System for Multiserver Environments 