SecMonQ: An HSM based security monitoring approach for protecting AUTOSAR safety-critical systems.

Ahmad M. K. Nasser Di Ma

Published in: Veh. Commun. (2020)

Keyphrases

safety critical
formal methods
nuclear power plant
access control
safety analysis
fault tolerant
embedded systems
agent architecture
real time
support systems
information systems
learning process
knowledge based systems
ambient intelligence
monitoring system