Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Formal Specification and Verification of a Selective Defense for TDoS Attacks

Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi Fonseca, and Vivek Nigam. Formal Specification and Verification of a Selective Defense for TDoS Attacks. In 11th International Workshop on Rewriting Logic and its Applications (WRLA), 2016.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@inproceedings{dantas16wrla,
  author    = {Yuri Gil Dantas and Marcilio O. O. Lemos and Iguatemi Fonseca and Vivek Nigam},
  title     = {Formal Specification and Verification of a Selective Defense for {TDoS} Attacks},
  booktitle = {11th International Workshop on Rewriting Logic and its Applications (WRLA)},
  year      = {2016},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Formal Methods},
  bib2html_dl_pdf = "/docs/voip-formal.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Jul 19, 2017 09:17:26