Security and Communication Networks / 2017 / Article / Alg 6

Research Article

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

Algorithm 6

CL-AtSe back-end result of the proposed protocol.
SUMMARY
 SAFE
DETAILS
 BOUNDED_NUMBER_OF_SESSIONS
 TYPED_MODEL
PROTOCOL
 /home/avispa/web-interface-computation
/./tempdir/workfilegQjd7wqdOJ.if
GOAL
 As Specified
BACKEND
 CL-AtSe
STATISTICS
 Analysed: 15 states
 Reachable: 15 states
 Translation: 0.32 seconds
 Computation: 0.00 seconds

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.