A formal model and risk assessment method for security-critical real-time embedded systems.

Siru Ni Yi Zhuang Jingjing Gu Ying Huo

Published in: Comput. Secur. (2016)

Keyphrases

formal model
risk assessment
databases
network security
neural network
intrusion detection
information security
risk management