Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified 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)

@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 Mon Jan 08, 2024 13:46:57