Automated construction of security integrity wrappers for Industry 4.0 applications

• Published in: Journal of logical and algebraic methods in programming Vol. 126; p. 100745
• Main Authors: Nigam, Vivek, Talcott, Carolyn
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.04.2022
• Subjects: Bounded intruder; Rewriting logic; Safety; Security; Theory transformation; Verification; Rewriting logic; Verification; Safety; Security; Theory transformation; Bounded intruder

Industry 4.0 (I4.0) refers to the trend towards automation and data exchange in manufacturing technologies and processes which include cyber-physical systems, where the internet of things connect with each other and the environment via networking. This new connectivity opens systems to attacks, by,...