Login / Signup
Quantitative System-Level Security Verification of the IoV Infrastructure.
Jan Lauinger
Mudassar Aslam
Mohammad Hamad
Shahid Raza
Sebastian Steinhorst
Published in:
CoRR (2021)
Keyphrases
</>
information security
security level
intrusion detection
security requirements
network security
critical infrastructure
model checking
quantitative and qualitative
higher level
qualitative and quantitative
user authentication
computing infrastructure