Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

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

Marc\'ilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, and Vivek Nigam. On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks. Unpublished Draft.
Accepted to JLAMP

Download

[PDF] 

Abstract

(unavailable)

@Unpublished{lemos.unp,
 author = {Marc\'ilio O. O. Lemos and Yuri Gil Dantas and Iguatemi E. Fonseca and Vivek Nigam},
  title     = {{On the Accuracy of Formal Verification of Selective Defenses for {TDoS} Attacks}},
   year =         "Draft",
 bib2html_pubtype = {Submitted},
bib2html_rescat = {Formal Methods},
bib2html_dl_pdf = "/docs/jlamp.pdf",
wwwnote = "Accepted to JLAMP"
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Oct 04, 2017 09:57:18