Login / Signup
A Formal Model and Technique to Redistribute the Packet Filtering Load in Multiple Firewall Networks.
Luca Durante
Lucia Seno
Adriano Valenzano
Published in:
IEEE Trans. Inf. Forensics Secur. (2021)
Keyphrases
</>
formal model
packet filtering
network security
smart card
data transfer
social networks
intrusion detection
formal models
information security
security properties
predicate calculus
computer networks
hardware and software