Towards Scalable Security of Real-time Applications: A Formally Certified Approach.

Muhammad Taimoor Khan Dimitrios Serpanos Howard E. Shrobe

Published in: ETFA (2021)

Keyphrases

real time
network security
situational awareness
access control
security level
control system
high speed
low latency
low cost
information security
security policies
wireless sensor
security systems
security model
security analysis
computer security
highly scalable
intrusion detection
neural network