Vivek Nigam, Carolyn L. Talcott. Formal Security Verification of Industry 4.0 Applications. In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019. pages 1043-1050, IEEE, 2019. [doi]
Abstract is missing.