Correctness Problem Clause Samples

Correctness Problem. In the formation phase, a vehicle vi sends only {RIDi, Xi}. Thus, TA cannot know information si. However, in ▇▇▇▇▇▇▇▇▇ et al.’s protocol, TA computes Pprii using si. Therefore, ▇▇▇▇▇▇▇▇▇ et al.’s protocol has a correctness problem and it may derive the incorrect formation of vi.