On experimental verification of model based white list for PLC anomaly detection

Recently, defensive countermeasures of controller are important because cyber-attacks on the control system are growing highly. This paper proposes an anomaly detection method of white list using PLC (Programmable Logic Controller) as one of the countermeasures of controller. This paper introduces a white list design technique which models normal behaviors of field devices via Petri net and converts the white list model to ladder diagram. It allows PLC to detect the cyber-attack.