Sign in
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