Journals
Publish with us
Publishing partnerships
About us
Blog
Security and Communication Networks
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
Security and Communication Networks
/
2022
/
Article
/
Tab 6
/
Review Article
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