A Summary of Security Techniques-Based Blockchain in IoV

Table 6

Comparison of formal safety analysis methods.

Literature	[25]	[35]	[53]	[55]	[58]
Mathematical theorem proof	Y	Y	N	Y	N
ProVerif	N	N	Y	Y	Y