Efficient and Secure Biometric-Based User Authenticated Key Agreement Scheme with Anonymity

<table class="algorithm-group"><tr><td><table class="algorithm" id="figbox4"><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">PROTOCOL</td></tr><tr><td colspan="2">/home/jaewook/Desktop/span/testsuite/results/Security&amp;com</td></tr><tr><td colspan="2">munications.if</td></tr><tr><td colspan="2">GOAL as specified</td></tr><tr><td colspan="2">BACKEND OFMC</td></tr><tr><td colspan="2"> </td></tr><tr><td colspan="2">STATISTICS</td></tr><tr><td colspan="2">TIME 24 ms</td></tr><tr><td colspan="2">parseTime 0 ms</td></tr><tr><td colspan="2">visitedNodes: 22 nodes</td></tr><tr><td colspan="2">depth: 3 plies</td></tr><tr><td colspan="2"> </td></tr><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/jaewook/Desktop/span/testsuite/results/Security&amp;com</td></tr><tr><td colspan="2">munications.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  : 2 states</td></tr><tr><td colspan="2">Reachable  : 0 state</td></tr><tr><td colspan="2">Translation: 0.02 seconds</td></tr><tr><td colspan="2">Computation: 0.00 seconds</td></tr></table></td></tr></table>

<div>Simulation results under the OFMC and CL-AtSe back-ends.</div>

Security and Communication Networks

figbox4

Box 4

Box 4: Efficient and Secure Biometric-Based User Authenticated Key Agreement Scheme with Anonymity 