在信息技术飞速发展的今天，数据安全和隐私保护变得尤为重要。为了确保信息技术产品的安全性，国际通用的评估标准——Common Criteria（CC）认证越来越被众多头部厂商重视，作为一个展示自身产品安全实力的重要标准：2023年10月，望安科技曾帮助小米自研TEE硬件级底层安全系统获得了国内首家CCRC EAL5+认证，获得了行业关注。CC认证基于ISO/IEC15408标准，是一个国际认可...

2024年12月17日，望安科技参与申报的“2024年度长三角科技创新共同体联合攻关（基础研究）”科研项目—《高安全强实时航空操作系统多核协同基础理论研究》顺利获批。《长三角科技创新共同体联合攻关机制》是科技部与沪苏浙皖地区为构建科技创新共同体而联袂制定的合作攻关机制。本次“2024年度长三角科技创新共同体联合攻关（基础研究）”项目申报工作，是为了深化落实《长三角科技创新共同体建设发展规划》...

在新能源与智能驾驶技术蓬勃发展的今天，汽车正经历着一场前所未有的电子电气革命。其中，“软件定义汽车”已成为行业转型的核心驱动力。相较于十年前，汽车研发的技术路径与方法已发生了根本性变化，软件已成为汽车创新的关键要素。未来，无人驾驶、V2X（车联万物）等前沿技术将主导汽车软件领域，推动行业向更高层次发展。在此背景下，软件的可靠性和安全性对于确保车辆整体安全至关重要。ISO 26262汽车功能安...

2024年11月15日—11月17日，2024 CCF中国软件大会在陕西省西安高新国际会议中心圆满举办，望安科技作为赞助单位出席此次盛会，重点展示了自身在“形式化验证”与“高安全认证”两大领域的卓越应用成果。    2024 CCF中国软件大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办，西安电子科技大学计算机科学与技术学院（国...

近日，望安科技的W-AVC、W-Cert及W-CaaS工具中标国家某重点行业客户的工具采购项目，标志着望安科技的高等级安全评估与形式化验证软件产品赢得了国家某重点部门用户的高度认可，进一步凸显了望安在形式化验证领域内卓越的市场影响力与坚实的技术研发底蕴。 望安科技凭借其在形式化验证领域的核心技术，已成功取得多项形式化技术专利和软件著作权，并自主研发了多款形式化验证工具。其中，软件源码形式化...