信息物理融合系统是一个综合计算、网络和物理环境的多维复杂系统,广泛应用于智能电网、交通控制等领域。在信息物理融合系统信息处理过程中,系统需要可信、可靠、可控,但信息物理融合系统的复杂结构以及系统各组件间的协调不足使其安全性面临很大的挑战。因此,保证信息物理融合系统安全性是非常重要的。但是,当前对于信息物理融合系统安全性的研究没有形成一种通用的、统一的验证方法,存在着方法不够全面、验证过程不够规范等问题。基于此,本文提出一种信息物理融合系统安全性验证方法,对信息物理融合系统安全性进行验证,提高信息物理融合系统系统安全性。本文首先提出一种利用模型检验技术构建信息物理融合系统安全性研究模型的方法,在构建模型时,将物理系统与网络系统的行为及相互作用通过信息流来衡量,形成统一定义的信息物理融合系统信息流;然后针对基于模型检验的信息物理融合系统模型,提出了对信息物理融合系统安全性进行验证的方法,利用提出的方法对信息物理融合系统进行验证和分析;最后,基于所提出的安全研究模型,利用提出的信息流验证方法对智能电网进行分析和研究,利用模型检验工具UPPAAL对基于模型检验的智能电网协议DNP3实例进行了详细建模,对DNP3协议安全性进行了分析与研究。本文的实例研究工作表明所提出的安全研究模型以及验证方法是有效可行的,能够对现有验证方法进行统一完善并规范验证过程,对信息物理融合系统安全性进行验证,从而保证系统的安全性。