Security and Communication Networks / 2017 / Article / Alg 5

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

We are committed to sharing findings related to COVID-19 as quickly and safely as possible. Any author submitting a COVID-19 paper should notify us at help@hindawi.com to ensure their research is fast-tracked and made available on a preprint server as soon as possible. We will be providing unlimited waivers of publication charges for accepted articles related to COVID-19. Sign up here as a reviewer to help fast-track new submissions.