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 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)

@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 Mon Jan 08, 2024 13:46:57