Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Bounded memory Dolev-Yao adversaries in collaborative systems

Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, and Andre Scedrov. Bounded memory Dolev-Yao adversaries in collaborative systems. Inf. Comput., 238:233–261, 2014.

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

BibTeX

 @article{kanovich13ic,
   author    = {Max I. Kanovich and
                Tajana Ban Kirigin and
                Vivek Nigam and
                Andre Scedrov},
   title     = {Bounded memory {Dolev-Yao} adversaries in collaborative systems},
   journal   = {Inf. Comput.},
   volume    = {238},
   pages     = {233--261},
   year      = {2014},
   url       = {http://dx.doi.org/10.1016/j.ic.2014.07.011},
   doi       = {10.1016/j.ic.2014.07.011},
   bib2html_pubtype = {Journal},
   bib2html_rescat = {Foundations of Computer Security},
   bib2html_dl_pdf = "/docs/fast-journal.pdf"
 }

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