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

Table 5.

Improved protocol messages’ idealization (M. denotes Message).

# M.	Description
$I M 2$	$R_{j} ◃ M 1 = {{I D_{t}}_{i}, N_{1 R}, N_{1 t}}_{{K_{t}}_{i}}, M A C (N_{1 R}, {I D_{t}}_{i}, N_{1 t}, I D S_{t}, 〈 K_{t} 〉)$
$I M 3$	$T_{i} ◃ M A C (N_{2 R}, N_{1 t}, N_{1 R}, I D S_{t}, 〈 K_{t} 〉)$