通用工业协议（CIP）形式化的安全分析（前期概念的梳理）