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 Tue Jul 31, 2018 07:56:52