针对工业控制网络现场环境下工业控制协议存在的信息安全问题：ICS网络结构分层不清晰，安全威胁模型缺乏针对性；缺乏通用的ICS安全协议形式化建模分析方法；缺乏ICS协议形式化安全评估方法及ICS多播模式安全协议问题，项目试图从多角度出发建立ICS协议安全评估模型。项目首先对ICS网络结构进行层次化分析、建立ICS协议安全威胁模型，其次根据协议规范对现场ICS协议的数据包封装过程进行基于逻辑方法的形式化建模，将所得逻辑模型融合于CPN建模方法，结合实体间通信过程建立ICS协议的安全评估模型，最后ICS针对多播模式安全协议，研究轻量级的适用于ICS的多播模式认证方案，并利用安全评估方法对其功能性和安全性进行验证。研究成果将为ICS系统协议安全设计、改进、评估等提供参考依据，为学术界和产业界提供较好的研究思路和安全解决方案。

The problem of information security in industrial control network is discussed: Not Much Clear for ICS Hierarchical network structure, the lack of Security threat model, the lack of formal modeling and analysis methods for ICS security protocols,the lack of formal safety assessment method for ICS protocol and ICS multicast security protocol analysis methods. The project establishes the security evaluation model of ICS protocol with variety of ideas.First of all; this project analyzes the ICS hierarchical network structure and analyzes the security requirements for the ICS protocol security threat model. Secondly, according to the protocol specification, a formal method based on logic method is used to encapsulate the data packet of the ICS protocol, combined with the CPN modeling method, establish the security evaluation model of ICS protocol according to the communication process. Finally, aiming at the multicast model design a lightweight authentication scheme for multicast, and verify its functionality and safety use of safety assessment method proposed.The research results will provide a reference for the design, improvement and evaluation of ICS protocol security.It is very important and realistic for the study of the academia and industry to provide a better idea and security solutions.