Vivek Nigam's Publications

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

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