Subverting Stateful Firewalls with Protocol States (Extended Version).

Published in: CoRR (2021)

Keyphrases

lightweight
formal analysis
genetic algorithm
database systems
authentication protocol
state transitions
data mining
state information
communication protocols