Using equivalence-checking to verify robustness to denial of service.

Stéphane Lafrance

Published in: Comput. Networks (2006)

Keyphrases

denial of service
dos attacks
denial of service attacks
network security
lightweight
verification method
machine learning
multi agent systems
ddos attacks