Security Analysis and Enhancement of INTERBUS Protocol in ICS Based on Colored Petri Net. - Tao Feng 007; Chengfan Liu; Xiang Gong; Ye Lu (Inf., 2023)