PLC-SEIFF: A programmable logic controller security incident forensics framework based on automatic construction of security constraints
Lijuan Xu, Bailing Wang, Lianhai Wang, Dawei Zhao, Xiaohui Han, Shumian Yang
Topics & Concepts
Programmable logic controllerComputer scienceSecurity controlsComputer securityEmbedded systemControl (management)Operating systemArtificial intelligenceFormal Methods in VerificationDigital and Cyber ForensicsSmart Grid Security and Resilience