TY  - RPRT
TI  - Quantitative System-Level Security Verification of the IoV Infrastructure
AU  - Jan Lauinger
AU  - Mudassar Aslam
AU  - Mohammad Hamad
AU  - Shahid Raza
AU  - Sebastian Steinhorst
PY  - 2021
UR  - https://arxiv.org/abs/2101.06137
ID  - 2101.06137
ER  -