Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System.

Li Huang Eun-Young Kang

Published in: FASE (2019)

Keyphrases

formal verification
cooperative
timing constraints
security requirements
model checking
real time systems
information security
security issues
real time databases
database
active databases
intrusion detection
smart card
network security
multi agent systems
embedded devices
execution model