A Two-Factor RSA-Based Robust Authentication System for Multiserver Environments
Logical postulates of BAN logic.
If principal believes is shared with and sees ,
then believes once said .
If believes is fresh, then believes
the freshness of ().
If principal believes and , then believes ().
If believes is fresh and the principal
once sent , then believes that believes .
If the principal believes that has jurisdiction over and believes ,
then believes that is true.
If believes session key is fresh and and believe , which are the
necessary parameters of session key, then believes that (s)he shares
session key with .
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 firstname.lastname@example.org 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.