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 L. Talcott. Automated construction of security integrity wrappers for Industry 4.0 applications. J. Log. Algebraic Methods Program., 126:100745, 2022.

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

BibTeX

@article{nigam22jlamp,
  author    = {Vivek Nigam and
               Carolyn L. Talcott},
  title     = {Automated construction of security integrity wrappers for Industry
               4.0 applications},
  journal   = {J. Log. Algebraic Methods Program.},
  volume    = {126},
  pages     = {100745},
  year      = {2022},
  url       = {https://doi.org/10.1016/j.jlamp.2021.100745},
  doi       = {10.1016/j.jlamp.2021.100745},
  timestamp = {Fri, 01 Apr 2022 11:23:30 +0200},
  bib2html_pubtype = {Journal},
  bib2html_rescat = {Formal Methods},
  bib2html_dl_pdf = "/docs/jlamp22.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Aug 24, 2022 15:03:13