On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks.

Marcilio O. O. Lemos Yuri Gil Dantas Iguatemi E. Fonseca Vivek Nigam

Published in: CoRR (2017)

Keyphrases

formal verification
model checking
high accuracy
model checker
computational cost
dos attacks
bounded model checking
denial of service attacks
symbolic model checking
denial of service
automated verification
program slicing
functional verification
knowledge based systems
countermeasures