Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Bounded Memory Dolev-Yao Adversaries in Collaborative Systems

Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, and Andre Scedrov. Bounded Memory Dolev-Yao Adversaries in Collaborative Systems. In Formal Aspects in Security and Trust, pp. 18–33, LNCS, 2010.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@InProceedings{ kanovich10fast,
	author = "Max Kanovich and Tajana Ban Kirigin and Vivek Nigam and Andre Scedrov",
	title = "Bounded Memory {D}olev-{Y}ao Adversaries in Collaborative Systems",
	booktitle = "Formal Aspects in Security and Trust",
	series = "LNCS",
	year = "2010",
	pages = "18--33",
	ee = "http://dx.doi.org/10.1007/978-3-642-19751-2\\\\\\\\\\\_2",
	bibsource = "DBLP, http://dblp.uni-trier.de",
    bib2html_pubtype = {Refereed Conference/Workshop},
    bib2html_rescat = {Foundations of Computer Security},
	bib2html_dl_pdf = "/docs/boundedDolevYao.pdf"
}

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