Mobile Information Systems

Research Article

CCMbAS: A Provably Secure CCM-Based Authentication Scheme for Mobile Internet

Table 4

BAN logic inference rules.
Sequence numberRules
R1
R2
R3
R4
R5
R6
R7
R8
R9
R10
R11
R12
R13
R14
R15
R16
R17
R18
R19