Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications

Vivek Nigam and Carolyn Talcott. Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications. In International Workshop on Rewriting Logic and its Applications (WRLA), 2020.

Download

[PDF] 

Abstract

(unavailable)

@inproceedings{nigam20wrla,
  author    = {Vivek Nigam and Carolyn Talcott},
  title     = {Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications},
  booktitle = {International Workshop on Rewriting Logic and its Applications (WRLA)},
  year      = {2020},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Foundations of Computer Security},
  bib2html_dl_pdf = "/docs/wrla20.pdf"
}

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