Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified 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)

BibTeX

@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