Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols

Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols. In Principles of Security and Trust - 4th International Conference, POST, pp. 259–279, 2015.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@inproceedings{kanovich15post,
  author    = {Max Kanovich and Tajana Ban Kirigin and Vivek Nigam and Andre Scedrov and Carolyn Talcott},
  title     = {Discrete vs. Dense Times in the Analysis  of Cyber-Physical Security Protocols},
  booktitle = {Principles of Security and Trust - 4th International Conference, {POST}},
  pages     = {259--279},
  year      = {2015},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Foundations of Computer Security},
  bib2html_dl_pdf = "/docs/post15.pdf"
 }

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