「信创」国产化替代刻不容缓，高安全等级保障大势所趋

01

什么是信创？

信创，即信息技术应用创新产业，它是数据安全、网络安全的基础，也是新基建的重要组成部分。

信创产业的生态体系极为庞大。从产业链角度来看，它主要由基础硬件、基础软件、应用软件、信息安全这四部分构成。

目前国内的信创产业中，芯片、整机、操作系统、数据库、中间件是最重要的产业链环节。信创慢慢从服务器、桌面，延伸到嵌入式领域，包括工业、汽车、航空、航天、手机、军工等。

信息技术应用创新发展是目前的一项国家战略，也是当今形势下国家经济发展的新动能。

发展信创是为了解决本质安全的问题。

本质安全也就是说，把它变成我们自己可掌控、可研究、可发展、可生产的。

创产业发展已经成为经济数字化转型、提升产业链发展的关键，从技术体系引进、强化产业基础、加强保障能力等方面着手，促进信创产业在本地落地生根，带动传统IT信息产业转型，构建区域级产业聚集集群。

02

国产替代势在必行

随着中国的发展安全服务器ppt，很多技术因为一些原因越来越受制于人，尤其是上游核心技术，包括国内 IT 底层标准、架构、生态等大多数都由国外 IT 巨头制定的，存在诸多安全风险。

因此，国家明确了“数字中国”建设战略，抢占数字经济产业链制高点。国家提出“2+8”安全可控体系，在核心芯片、基础硬件、操作系统、中间件、数据服务器等领域实现国产替代。中国IT产业行业应用软件有望迎来国产替代潮。

信创产业是数据安全、网络安全的基础，也是“新基建”的重要内容，将成为拉动经济发展的重要抓手之一。

03

高安全等级的必要性

建立和促进我国IT信息安全高等级保障是形势所迫、是国情所需。

随着我国信息化进程的全面加快，特别是一些国家项目、关键行业、关键领域对基础信息设备和关键系统的依赖程度越来越高，安全性直接关系到国家安全、公共安全、社会公众利益。

可以预见，我国关键信息基础设施如果发生安全故障，将严重影响其保障服务的顺利进行：如果遭遇网络入侵攻击，将导致有关国家重要数据或敏感信息被窃取、被篡改，或系统不能正常运行；如果网站受到攻击，将致使政府门户网站和重点新闻网站访问被中断、页面被篡改，甚至系统瘫痪，对我国社会秩序、公共利益等造成严重影响。

在国家大势下，在国内实现对云计算、大数据、物联网、移动互联和工业控制信息系统等关键系统的高安全等级保障的全覆盖，包括采用形式化验证、安全认证等方式，将对加强我国信息技术行业产业安全保障，建设更加完善的信息技术产业链，参与未来几十年的国际竞争产生深远的影响。

04

形式化验证，数字安全新底座

形式化验证，即指在计算机科学领域，特别是软件工程和硬件工程中，一种特殊的基于数学的技术，用于规范、开发和验证软件和硬件系统，以提高系统的安全性、可靠性和鲁棒性。

形式化方法可以形容为建立在相当广泛的理论计算机科学基础上的应用，特别是逻辑演算、形式语言、自动机理论、离散事件动态系统和程序的语义，还包括类型系统和代数数据类型等理论。

以往这类研究主要应用于昂贵的航空、航天、军事器材的操作系统、危险的医疗设备程序之中。目前国际上、国内都开始将形式化验证应用在基础软硬件系统中。

05

望安可以为信创做什么？

望安科技技术团队已经在形式化验证领域研究多年，已经拥有了形式化验证平台W-AVC、CC评估服务平台W-CaaS、高安全评估形式化工具W-Cert等平台产品，全面支持国家重大项目、关键系统及行业企业信息安全、认证保障，其中形式化验证工具已经在军科部分项目成功应用，CC评估服务系统W-CAAS已经辅助完成国内首款操作系统CC EAL 5+项目，并应用在中科海微CC EAL5+、小米科技CC EAL5+、中国移动CC EAL3+项目中。形式化验证技术在各行业、各领域的深化应用，将会推动国内的信创产业进一步发展。

浙江望安科技有限公司

浙江望安科技有限公司是以"形式化验证"为核心技术的安全服务及产品提供商。公司致力于为国家重大项目、关键系统及行业企业提供安全认证保障。业务覆盖航空、航天、国防、轨道交通、区块链、物联网、工业控制、芯片设计制造等重大领域。

公司可提供信息技术安全评估标准CC EAL1-EAL7级安全保障级别咨询与技术服务。公司拥有自主研发、自主知识产权的覆盖软件全生命周期的望安形式化验证平台W-AVC、符合CC认证体系的标准化实施平台系统W-CaaS等重要核心资产。核心技术已应用于C919国产大飞机、载人航天工程、中航工业集团、航天科技集团、元心科技、中国移动、小米科技等，已覆盖相对广泛的合作领域和企业。

（编辑：威海站长网）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!