Research Article

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

Algorithm 5

OFMC back-end simulation result of our protocol.
% OFMC
% Version of 2006/02/13
SUMMARY
 SAFE
DETAILS
 BOUNDED_NUMBER_OF_SESSIONS
PROTOCOL
 /home/avispa/web-interface-computation/./
tempdir/workfile8Y6LVt.if
GOAL
 as_specified
BACKEND
 OFMC
COMMENTS
STATISTICS
 parseTime: 0.00 s
 searchTime: 0.19 s
 visitedNodes: 17 nodes
 depth: 2 plies