Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

FSR: formal analysis and implementation toolkit for safe interdomain routing

Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott. FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw., 20(6):1814–1827, 2012.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@article{wang12ton,
  author    = {Anduo Wang and
               Limin Jia and
               Wenchao Zhou and
               Yiqing Ren and
               Boon Thau Loo and
               Jennifer Rexford and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott},
  title     = {FSR: formal analysis and implementation toolkit for safe
               interdomain routing},
  journal   = {IEEE/ACM Trans. Netw.},
  volume    = {20},
  number    = {6},
  year      = {2012},
  pages     = {1814-1827},
  ee        = {http://dx.doi.org/10.1109/TNET.2012.2187924},
  bib2html_pubtype = {Journal},
  bib2html_rescat = {Formal Methods},
  bib2html_dl_pdf = "/docs/fsr_jrnl.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Mar 01, 2017 14:31:37