Vivek Nigam's Publications

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

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