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

Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, and Vivek Nigam. On the accuracy of formal verification of selective defenses for TDoS attacks. J. Log. Algebr. Meth. Program., 94:45–67, 2018.

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

@article{lemos18jlamp,
  author    = {Marcilio 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},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {94},
  pages     = {45--67},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.jlamp.2017.09.001},
  doi       = {10.1016/j.jlamp.2017.09.001},
bib2html_pubtype = {Journal},
bib2html_rescat = {Formal Methods},
bib2html_dl_pdf = "/docs/jlamp.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57