Login / Signup
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:
J. Log. Algebraic Methods Program. (2018)
Keyphrases
</>
formal verification
model checking
model checker
high accuracy
denial of service attacks
computational cost
automated verification
machine learning
knowledge based systems
security threats
prediction accuracy
countermeasures
symbolic model checking
bounded model checking