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 |
|