望安科技受邀参加华为举办的形式化方法研讨会

发表时间:2024-09-01 16:20



NEWS

新闻

2024华为形式化方法研讨会



2024年8月1日,华为可信领域科学家委员会、华为软件领域科学家委员会、华为可信理论、技术与工程实验室和华为费马实验室在贵安云上屯举办了为期两天的2024 华为形式化方法研讨会。本次研讨会聚焦“智能时代下的形式化验证技术”,探讨智能时代下形式化方法的发展前景及其应用。研讨会邀请了国内外的30余位形式化方法领域的顶尖专家和学者,专家学者们齐聚一堂,围绕形式化前沿技术、LLM/AI的形式化验证方法以及利用LLM/AI进行形式化验证等议题展开深入交流。

图片

图:参会专家学者合照

图片


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

图片

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

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

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


地址:浙江省杭州市余杭区创鑫时代广场2号楼(浙江人才大厦)1001室
邮箱:wangan@wonsec.com
电话:400-675-8118
扫描二维码
关注微信公众号
扫描二维码
关注微信视频号