Static Analysis of Packet Forwarding and Filtering Configurations in Industrial Networks.

Manuel Cheminod Lucia Seno

Published in: WFCS (2023)

Keyphrases

static analysis
packet forwarding
dynamic analysis
ad hoc networks
quality of service
source code
regular expressions
intermediate nodes
network connectivity
social networks
response time
real time
end to end
network structure
multi hop
topology control