Security and Communication Networks / 2017 / Article / Tab 1

Research Article

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

Table 1

Logical postulates of BAN logic.

Rule NotationDescription

Message meaningIf principal believes is shared with and sees ,
then believes once said .
Freshness-conjuncatenationIf believes is fresh, then believes
the freshness of ().
BeliefIf principal believes and , then believes ().
Nonce verificationIf believes is fresh and the principal
once sent , then believes that believes .
JurisdictionIf the principal believes that has jurisdiction over and believes ,
then believes that is true.
Session keyIf 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 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.