Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Towards Timed Models for Cyber-Physical Security Protocols

Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. Towards Timed Models for Cyber-Physical Security Protocols. In FCS-FCC, 2014.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@InProceedings{ kanovich14fccfcs,
	author = "Max Kanovich and Tajana Ban Kirigin and Vivek Nigam and Andre Scedrov and Carolyn Talcott",
	title = "Towards Timed Models for Cyber-Physical Security Protocols",
	booktitle = "FCS-FCC",
	year = "2014",
    bib2html_pubtype = {Unrefereed Collection},
    bib2html_rescat = {Foundations of Computer Security},
	bib2html_dl_pdf = "/docs/timed-models.pdf"
}

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