A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control.

Yuri Gil Dantas Vivek Nigam Carolyn L. Talcott

Published in: VNC (2020)

Keyphrases

cooperative
main contribution
neural network
adaptive control
lightweight
intrusion detection
cyber security
security issues
statistical databases
risk assessment
control strategy
probabilistic model
control system
multi agent
case study
decision making
information systems