Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified 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)

BibTeX

@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 Wed Aug 24, 2022 15:03:13