. 2020 Sep 17;181:107558. doi: 10.1016/j.comnet.2020.107558

Table 7.

Security goals deduction of the improved protocol.

DN	GMA	UR	DD	GN
$D 1$	$A 1$	$F 1$	$R_{j} \| \equiv ♯ (N_{1 R}, {I D_{t}}_{i}, N_{1 t}, I D S_{t}, 〈 K_{t} 〉)$	$-$
$D 2$	$A 2$ , $A 12$ , $A 13$ , $A 14$	$P 2$	$R_{j} ∋ (N_{1 R}, {I D_{t}}_{i}, N_{1 t}, I D S_{t}, 〈 K_{t} 〉)$	–
$D 3$	$D 1, D 2$	$F 10$	$R_{j} \| \equiv ♯ M A C (N_{1 R}, {I D_{t}}_{i}, N_{1 t}, I D S_{t}, 〈 K_{t} 〉)$	–
$D 4$	$I M 1$ , $D 3$ , $A 10$ , $D 1$	$I 3$	$R_{j} \| \equiv T_{i} \| \sim M A C (N_{1 R}, {I D_{t}}_{i}, N_{1 t}, I D S_{t}, 〈 K_{t} 〉)$	$G 1$
$D 5$	$A 7$	$F 1$	$T_{i} \| \equiv ♯ (N_{2 R}, N_{1 t}, N_{1 R}, I D S_{t}, 〈 K_{t} 〉)$	$-$
$D 6$	$A 8$ , $A 15$ , $A 16$ , $A 17$	$P 2$	$T_{i} ∋ (N_{2 R}, N_{1 t}, N_{1 R}, I D S_{t}, 〈 K_{t} 〉)$	–
$D 7$	$D 5, D 6$	$F 10$	$T_{i} \| \equiv ♯ M A C (N_{2 R}, N_{1 t}, N_{1 R}, I D S_{t}, 〈 K_{t} 〉)$	–
$D 8$	$I M 2$ , $D 7$ , $A 11$ , $D 5$	$I 3$	$T_{i} \| \equiv R_{j} \| \sim M A C (N_{2 R}, N_{1 t}, N_{1 R}, I D S_{t}, 〈 K_{t} 〉)$	$G 2$