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 Sat Aug 29, 2020 10:39:20