新闻

图：参会专家学者合照

望安科技作为国内形式化方法和CC安全认证的头部企业，受邀参加了2024华为形式化方法研讨会 。望安科技创始人、浙江大学教授——赵永望在研讨会上分享了《CC信息安全认证的形式化方法—GPTEE PP标准的形式化建模与验证》的精彩报告，进一步推动CC安全认证的国内生态建设及高等级安全认证的工业落地。

在信息技术飞速发展的今天，数字技术以其卓越的性能和广泛的应用前景，逐渐应用至政治、经济、军事、科学文化和家庭生活等社会的各个领域，这一技术在拥有强大能力的同时也带来了潜在的威胁。个人数据的泄露、商业记录以及政府或军事信息的泄密与窃取、虚假信息的泛滥等安全问题成为数字技术发展的突出瓶颈。

与此同时，CC信息安全认证的形式化方法作为信息安全领域的基石和守护智能系统代码的“隐形锁”，受到越来越多的关注，越来越多人意识到数字安全缺乏了“形式化验证”的支柱作用，系统就难以达到高安全级别。“形式化验证”以数学语言和逻辑推理为刃，精准无误切割掉潜在错误的空间，在确保系统可靠性、优化决策过程和提高自动化水平方面发挥着重要作用。

望安科技创始人、浙江大学赵永望教授在研讨会上作了关于 CC安全高等级认证的形式化方法的深度报告，带我们洞悉了智能时代下形式化验证技术的精髓，体会到“形式化验证”的大有可为。望安科技作为系统形式化验证与安全认证的推动者，将继续深耕于信息安全领域，不断推动信息安全产业发展，助力泛安全领域及产业化建设！

THE END

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

公司提供信息技术安全评估标准CC EAL1-EAL7级安全保障级别、IEC 61508、ISO 26262、GM/T国密以及FIPS等高等级安全认证咨询与技术服务，已与国内外多个认证/检测机构建立联合实验室、签署合作协议等。公司拥有自主知识产权的软件源码形式化测试与验证工具W-AVC、基础软硬件形式化建模与验证工具W-Cert、CC安全认证全周期实施平台W-CaaS等工具平台。公司核心技术和工具已应用于载人航天工程、中航工业集团、航天科技集团、航天科工集团、中国信科、小米科技、中国移动、中科海微、元心科技等，覆盖国家重点行业及企业。