文章浏览阅读5k次。一、引言近年来，随着社会的进步，工业控制系统已广泛应用于各种关系到国计民生的安全关键系统中。物联网的普及以及两化融合的推进，使得大量IT技术被应用到工业生产中，工业控制系统已从传统孤立、封闭，向着大规模、开放性、互联互通的方向发展。然而，在控制系统发展的初期，主要考虑系统的可用性和可靠性，对系统的信息安全并未提出很高的要求，这就不可避免地导致系统存在安全缺陷。这些缺陷如果被人利用，将会导..._工业控制系统信息安全防护的形式化分析与验证