Vivek Nigam's Publications

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

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