Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Formal Security Verification of Industry 4.0 Applications

Vivek Nigam and Carolyn L. Talcott. Formal Security Verification of Industry 4.0 Applications. In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, pp. 1043–1050, 2019.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@inproceedings{nigam19etfa,
  author    = {Vivek Nigam and
               Carolyn L. Talcott},
  title     = {Formal Security Verification of Industry 4.0 Applications},
  booktitle = {24th {IEEE} International Conference on Emerging Technologies and
               Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13,
               2019},
  pages     = {1043--1050},
  year      = {2019},
   bib2html_pubtype = {Refereed Conference/Workshop},
bib2html_rescat = {Formal Methods},
bib2html_dl_pdf = "/docs/etfa19.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57