Login / Signup
Design of Reactive Systems for Control Network Traffic on the Kubernetes Platform.
Lubos Mercl
Vladimir Sobeslav
Peter Mikulecký
Published in:
ACIIDS (Extended Posters) (2019)
Keyphrases
</>
network traffic
intrusion detection
anomaly detection
reactive systems
network bandwidth
computer networks
network management
formal methods
network intrusion detection
real world
case study
knowledge based systems
model checking
traffic data