品牌设计模板

2025年3月21日，望安科技一行到访了位于匈牙利首都布达佩斯的CCLAB实验室总部，双方进行了友好交流并共同签署了EUCC战略合作协议。此次合作旨在加强双方在EU Cybersecurity Certification Scheme on Common Criteria (EUCC)领域的深度合作，共同推动ICT产品与服务在欧洲市场的安全合规进程。 EUCC由欧盟网络安全局（ENIS...

导语 2025年10月21日至23日，第24届国际通用准则认证会议（The International Common Criteria Conference 2025，ICCC 2025）在韩国仁川松岛圆满举行。望安科技受邀出席此次大会，与来自28 个国家的 400 余位政府代表、认证机构、实验室专家及国际知名厂商，共同探讨通用准则（CC）及以欧盟网络安全认证（EUCC）为代表的新兴体...

导语 2025年10月21日至23日，第24届国际通用准则认证会议（The International Common Criteria Conference 2025，简称 ICCC 2025）将在韩国仁川松岛盛大举行。作为全球信息安全认证领域最具影响力的年度盛会之一，ICCC 汇聚来自世界各地的认证机构、实验室代表、IT 产品厂商与信息安全专家，共同探讨通用准则（CC）认证体系的最新...

2025 年 8 月 28 日，波兰正式生效《国家网络安全认证体系法》，标志着波兰在网络安全认证体系上的重大变革。该法规明确废除了原有的国家认证规则，全面遵循欧盟统一标准，特别是 EUCC（欧盟通用标准认证），确保波兰的 ICT（信息与通信技术）产品和服务能够在全欧范围内获得互认，并提升整体网络安全水平。这一法律的出台，对计划进入欧洲市场的ICT产品、服务、流程乃至网络安全管理体系的企业，尤...

2025年8月26日，国务院正式发布了《关于深入实施“人工智能+”行动的意见》（国发〔2025〕11号，以下简称《意见》），明确提出要推动人工智能与经济社会各领域深度融合，构建具有全球竞争力的人工智能创新体系。《意见》强调，要加快人工智能在制造、交通、金融、医疗、教育、能源等重点行业的应用落地，提升智能化生产和服务能力，同时注重技术安全、系统可信与可控性，这一核心要求将成为未来AI产业发展的...

2025年 6 月 16 日，美国国防部高级研究计划局（DARPA）宣布启动"强韧软件系统加速器"（Resilient Software Systems Accelerator, RSSA）计划，致力于推动基于数学推理的下一代网络安全工具实现大规模应用。此举表明美军正全面重构其软件系统的安全保障体系，形式化方法正从学术研究阶段迅速迈向工程化与武器化的关键转折点。 DARPA在会...

随着数字化转型不断深入，信息系统正渗透到社会生产、关键基础设施以及民生应用的方方面面。系统的安全性与可靠性，已成为支撑产业发展的底线指标。传统的软件开发与验证方法，虽然能够在一定程度上发现和修复缺陷，但在面对高复杂度、强安全需求的关键系统时，依赖经验与测试的手段往往难以确保零遗漏。在此背景下，形式化验证作为一种基于数学逻辑的高可信验证技术，正在成为高等级安全认证中不可或缺的核心工具。 ...

全国网络安全标准化技术委员会秘书处于8月15日发布《数据安全国家标准体系（2025版）》与《个人信息保护国家标准体系（2025版）》征求意见稿。 为积极适应新形势新要求，更好发挥数据安全标准化工作的基础性、规范性、引领性作用，网安标委秘书处在梳理数据安全国家标准研制现状、分析数据安全标准需求的基础上，遵循标准体系建设客观规律，按照国家标准GB/T 13016 2018《标准体...

2025年8月4日，欧盟通报了《信息与通信技术网络安全认证实施条例》修订案。此次修订对欧盟网络安全认证计划（EUCC）进行了全面优化，包括新定义、ICT 产品系列认证及保护配置文件审查机制等核心内容，同时对于支持EUCC 认证计划实施的最新技术文件做出重要调整。对于计划进入欧洲市场的 ICT 产品厂商而言，新规既提供了更明确的合规指引，也对产品全生命周期安全管理提出了更高要求。 ...

2025年8月1日，国家市场监督管理总局、国家标准化管理委员会发布的2025年第19号《华人民共和国国家标准公告》，批准发布416项推荐性国家标准和3项推荐性国家标准修改单。 其中，由全国网络安全标准化技术委员会归口的7项国家标准正式发布，涵盖公钥基础设施、云计算安全、人工智能平台安全等关键领域，为构建安全可信的数字环境提供重要技术支撑。标准具体内容如下：标准内容 1.G...

2025年7月30-31日，CCF软件工程创新与青年发展论坛暨软件工程专委常委会议在CCF业务总部&学术交流中心成功召开。望安科技作为国内形式化方法和CC安全认证领域的头部企业，受邀参与此次盛会，与来自国内软件工程及相关领域的众多研究者和实践者共同探讨软件工程面临的难题与挑战。 本次论坛是CCF软件工程专委会青年论坛成立以来的首次全体活动，具有里程碑意义。论坛由CCF软件工程专...

近日，英伟达算力芯片被曝出存在严重安全问题。此前，美议员呼吁要求美出口的先进芯片必须配备“追踪定位”功能。美人工智能领域专家透露，英伟达算力芯片“追踪定位”“远程关闭”技术已成熟。为维护中国用户网络安全、数据安全，依据《网络安全法》《数据安全法》《个人信息保护法》有关规定，国家互联网信息办公室于2025年7月31日约谈了英伟达公司，要求英伟达公司就对华销售的H20算力芯片漏洞...

欧盟通用网络安全认证（EUCC）作为实施《网络弹性法案》（CRA）的核心认证机制，不仅是ICT产品进入欧洲市场的强制性合规要求，更是企业参与全球数字经济竞争的战略资产。根据ENISA报告显示，EUCC认证对于 “重要” 或 “关键”产品，通常需满足较高的保证级别以符合CRA要求。此外，高等级认证(EAL5-7 EUCC High)对于半形式化或形式化验证方法提出了强制性要求。 形式化验证在E...

2025年4月25日，国家市场监督管理总局发布《数据安全技术 数据安全风险评估方法》（GB/T 45577-2025），并于11月1日正式实施。作为我国数据安全领域的重要国家标准，它为企业数据安全风险评估提供了全流程指南，从合规的义务到技术落地，从风险识别到整改处置的要求，全面覆盖了数据的全部生命周期。 该标准对于处理重要数据和个人信息的企业和机构提出了较为严格...

随着智能驾驶技术的快速发展，现代智能汽车已成为集成了数百个电子控制单元、上亿行代码和数十种传感器的"移动超级计算机"。这种复杂性带来了前所未有的安全挑战：据行业统计，L3级系统需要至少1000 TOPS（万亿次操作每秒）的算力用于处理多传感器并发数据，任何微小的系统缺陷都可能造成严重后果。在这背景下，ISO 26262 ASIL认证体系凭借其严谨的安全评估框架，已成为确保智能...

2025年7月16日—7月20日，第 25 届 QRS （国际软件质量、可靠性与安全会议）在浙江省杭州市白马湖国际会展中心圆满举办，望安科技和华为作为仅有的两家赞助企业出席此次盛会，并与国际权威专家们共同讨论 AI 时代的软件安全性和可靠性。 本届 QRS 会议适逢 25 周年里程碑。 自 2000 年在香港首次举办以来，该会议已成为国际学术界公认的软件质量与安全...

随着欧盟《网络弹性法案》（CRA）的推进，EUCC认证成为企业进入欧洲市场的强制性要求。在此背景下，EUCC ISAC（欧盟通用标准信息共享和分析中心）应运而生，并于2025年 7 月 7 日在布鲁塞尔举行第一次指导委员会会议。作为支持 EUCC 认证体系实施的协作平台，EUCC ISAC正通过认证协作与威胁情报共享，为欧洲网络安全构建更加坚固的防护屏障。 ...

ENISA（欧盟网络安全局）依据《欧盟网络安全法》和《实施条例(EU)2024/482》的授权，于 2025 年 7 月 9 日正式发布《EUCC产品系列评估指南》(版本1.0)。该指南为信息与通信技术产品制造商提供了明确的产品系列认证规范。这一新规是欧盟优化网络安全认证流程的重要举措，对企业出海欧洲市场具有深远影响。产品系列认证： 产品系列是指由开发者...

2025年7月11日，由中国计算机学会（CCF）主办，中国计算机学会（CCF）形式化方法专业委员会和浙江望安科技有限公司联合承办的“ ‘智领未来’形式化方法产业应用研讨会——中国计算机学会（CCF）形式化方法专业委员会走进望安科技”活动顺利召开。 中国计算机学会（CCF）形式化方法专业委员会代表、柯桥区委组织部、柯桥区科学技术局、柯桥区大数据发展管理中心、金科桥科...

2025年6月27日，国家密码管理局、国家互联网信息办公室、公安部联合发布了《关键信息基础设施商用密码使用管理规定》（国家密码管理局、国家互联网信息办公室、公安部令第5号）（以下简称《规定》），并于2025年8月1日起正式施行。 《规定》旨在落实《中华人民共和国密码法》、《商用密码管理条例》等法律法规要求，规范关键信息基础设施商用密码的使用，解决当前部分...

在数字化浪潮席卷全球的今天，网络安全已成为企业出海不可忽视的“隐形门槛"。欧盟作为全球最大的数字经济体之一，近年来不断升级网络安全法规，为了应对数字化时代日益增长的网络安全威胁，同时解决欧盟内部市场在 ICT 产品安全认证上的碎片化问题，欧盟于 2025 年 2 月 27 正式生效 EUCC（欧洲网络安全通用标准）。 EUCC（European Union Co...

2024年12月27日，国家密码管理局发布公告（第50号），正式发布GM/T0001.4-2024《祖冲之序列密码算法第4部分：鉴别式加密机制》、GM/T 0028-2024《密码模块安全要求》等19项密码行业标准，并作废7项密码行业标准，自2025年7月1日起全面实施。 其中，GM/T 0028-2024《密码模块安全要求》替代 GM/T 0028-2014，...

美国国防高级研究计划局（DARPA）于2025年6月17日启动“迷你顶点计划”，旨在通过数学驱动的形式化验证方法重构国防工业基础（DIB）网络防御体系，确保“美国不输掉下一场重大冲突”。DARPA 以形式化验证替代传统修补：其高可靠性网络军事系统（HACMS）项目已验证四轴飞行器抵御300次渗透攻击，微内核 seL4 获全球首个“零漏洞”数学认证。 “当国防系统...

欧盟作为全球数字经济的重要参与者，一直致力于通过立法和标准制定来提升网络安全水平。2025 年 6 月 3 日，欧盟安全机构（ENISA）举办了一场关于欧盟网络安全认证（EUCC）与欧盟《网络弹性法案》（以下简称为CRA）相互作用的研讨会，深入探讨了两者之间的协同效应以及对行业的影响，为企业指明了应对欧盟网络安全新规的实践路径。什么是CRA？ 《网络弹性法案》（C...

2025年 2 月 26 日，欧盟安全机构发布了《通过 EUCC 实施网络弹性法案及其适用的技术要素》报告，该报告指出，欧盟《网络弹性法案》（CRA）为制造商提供了多种合规途径，欧洲网络安全认证计划 —欧盟共同标准（EUCC）便是其中之一。CRA 已为通过公认欧洲网络安全认证计划认证的产品建立合格推定，前提是该认证至少符合 CRA 第 27 条规定的 “实质性” 保证水平。虽...

作为低空经济核心赛道，电动垂直起降飞行器（eVTOL）凭借城市空中交通、物流配送、旅游观光及应急救援等多元应用场景，展现出巨大发展潜力。但要实现商业化运营，严苛的适航认证是必经之路，这一领域正成为企业竞争与行业发展的关键战场。图源：亿航智能 适航认证贯穿 eVTOL 研发到市场的全过程，是保障安全与推动产业发展的核心要素。从安全角度，它通过严格标准测试，确保 e...

2025年3月12日，浙江望安科技有限公司与新紫光集团旗下新华三大数据技术有限公司正式签署了EAL4+评估服务战略合作协议。此次国内领先的信息安全产品服务提供商与数字化解决方案头部企业的深度协同，标志着我国数据安全领域再次实现创新，为产业数字化筑牢安全基座。 新华三大数据技术有限公司作为国内数字化解决方案领导者，通过深度布局“云-网-安-算-存-端”全产业链，不断提升数字化和智能化赋...

"晚上 9 点准时熄灯，主管 HR 分三轮赶人下班 —— 大疆这场硬核 ' 反内卷 ' 行动，正折射出全球合规趋势的深刻变革。"随着欧盟《网络弹性法案》全面生效与劳工标准新规倒计时，中国制造业正面临双重挑战：一方面，超时加班将被视为 "强迫劳动" 导致产品禁售；另一方面，联网设备未通过安全认证将被欧盟市场拒之门外。 随着欧盟《网络弹性法案》正式生效，网络安全认证已成为全球数字经济的核...

2月27日起，基于欧洲的通用标准的网络安全认证计划将正式实施，EUCC认证将正式生效。同时，欧洲的测评和认证机构将不再受理新增的通用CC认证，此后欧盟也将不再承认2月26日后新增的通用CC认证。 早前，在2024年1月，欧洲委员会已经通过了“基于欧洲通用标准的网络安全认证计划”（EU Cybersecurity Certification）。EUCC是欧盟首个用于认证信息与通信技术ICT产品...

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

近日，望安科技与国内电力行业头部企业正式达成了某系列核心产品国际CC EAL4+认证实施项目的签约合作。国际CC EAL4+认证，凭借其严苛的技术标准和繁复的评估流程，在信息安全领域占据重要地位，其认证的高难度与严要求构筑起一道高标准的准入壁垒，对企业的技术底蕴与项目执行能力构成了严峻考验。望安科技作为此次项目的核心力量之一，将凭借其在高端安全技术上的深厚积累与卓越创新，发挥其在信息安全领域...

2024年11月22日，望安科技受邀参加于中山大学深圳校区举办的“第六届载人航天学术大会”，并在分论坛作了《安全关键系统的形式化方法》的特邀报告。 本次载人航天学术大会邀请了12位院士、一名航天员、上百位国内相关领域知名专家和代表，围绕工程总体发展、空间站空间科学与应用成果、国家太空实验室建设运行等作主旨报告，并设置载人航天总体与共性技术、人员空间驻留及月球探测保障与人因工程技术等15...

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

在科技与智慧物联网融合的浪潮中，全球智慧物联网联盟（GIIC）主办的GIIC联盟启航大会暨首届鸿蒙生态大会（HEC2024）于11月23日在深圳盛大举行。本次大会由鸿蒙生态服务公司承办，以“新生态·新机遇”为主题，汇聚来自全球物联网、鸿蒙领域的顶尖精英、行业领袖、专家学者等重量级嘉宾，共同见证并启动智慧未来的崭新篇章。此次盛会是以鸿蒙生态为核心的面向全球的产业大会，旨在为全球鸿蒙生态伙伴搭建...

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

树树皆秋色，山山唯落晖秋色渐浓，望安科技以团建活动为序赓续同事情谊，聚力携手前行跟随小安的步伐，一起进行记忆倒带吧~济州岛，这座被大自然宠爱的小岛，宛如一幅流动的画卷，带领我们走进了一个梦幻般的世界。从新星岳的山巅到山茶花之丘，我们看见了连绵起伏的山脉，五彩斑斓的花海在微风中摇曳；从独立岩到汉拿山国立公园，我们走过了蜿蜒至山顶的曲折小径、感受到大自然的磅礴与无限；最后乘船至牛岛，清澈的海水与...

近日，望安科技成功完成某航天嵌入式操作系统的EAL5+认证评估项目，项目已获得了中国网络安全审查技术与认证中心（CCRC）颁发的CC EAL5+证书。作为信息安全认证领域的又一里程碑，该项目的成功结项不仅彰显了望安科技在高等级认证领域的市场认可度，也进一步提升了航天领域关键应用的安全保障，巩固了公司在航天安全领域的技术优势。 在航天领域，嵌入式操作系统的安全性至关重要，关系到整个系统的可...

2024年9月18日，望安科技承担实施的永洪一站式大数据BI平台CC EAL2+认证评估项目，成功获得了由中国网络安全审查技术与认证中心（CCRC）颁发的CC EAL2+证书。这一重要里程碑不仅标志着双方在信息安全领域的深度合作，也进一步提升了永洪BI平台的安全性，可为用户提供更稳定、可靠的数据保障。同时也巩固了永洪科技在大数据领域的领先地位，增强用户的信任感和认同度。 北京永洪商智科技有...

共创机遇 合作共赢望安科技国际合作交流会成功举办2024年8月19日，由新加坡理工大学国际合作部助理主任Joseph Ng Hong Sin、David Sanan教授、Wendy Hui教授和新加坡理工大学19名学生组成的访问团队莅临我司参观交流。此次访问不仅是新加坡理工大学与望安科技深化校企合作、共谋未来发展的重要契机，更是双方搭建国际交流平台、互鉴研讨与合作共赢的重大机遇。PART.0...

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

2024年7月5日，第六届ACM中国图灵大会（ACM Turing Award Celebration Conference TURC 2024）在长沙正式举行。本届大会由ACM（国际计算机学会）主办，CCF（中国计算机学会）协办，长沙市人民政府、湖南大学承办，湖南省科学技术厅、湖南省科学技术协会、长沙市科学技术局共同指导。图：开幕式现场 国际计算机学会（ACM）是世界上最大的计算...

岁月不居，时节如流。转眼间，望安科技已走过了五年不平凡的风雨历程，在这五年时间里，我们经历了无数的磨砺和挑战，也取得了可喜可贺的成绩。回顾过去，五年虽短，但我们创造的价值却是无法估量的，五年来，我们始终以打造一家全球顶尖的“国之重器”型的安全公司为目标，不仅在技术上追求精湛和卓越，更注重服务的质量和效率。我们深知好口碑的背后是客户的信任和满意，因此我们始终全力以赴，为客户提供最优质的产品和最...

2024年5月20日，望安科技共同起草的《操作系统安全技术要求(评估保障级4增强级、5 增强级)》产品认证技术规范正式发布。1操作系统 EAL4+/EAL5+ 的认证标准本标准按照 GB/T 1.1-2020《标准化工作导则 第1部分：标准化文件的结构和起草规则》的规定，由中国网络安全审查认证和市场监管大数据中心、信息产业信息安全测评中心主要起草，浪潮电子信息产业股份有限公司、上海市信息安全...

5月21日上午，深圳市创新投资集团（简称“深创投”）与浙江望安科技有限公司（简称“望安科技”）在深创投集团总部举行了投资及合作协议签约仪式，正式宣布望安科技完成千万级天使轮融资。双方代表签约在深创投集团党委委员、副总裁张键，望安科技创始人赵永望共同见证下，深创投集团互联网基金投资部副总经理吴任华（右）与望安科技总经理陈建明（左）代表双方签署了投资及合作协议。近年来，望安科技凭借在安全认证及形...

近日，望安科技中标天津（滨海）人工智能创新中心EAL5+安全认证服务项目，该项目中标彰显了望安科技在CC高等级认证领域的市场高认可度和卓越的技术实力，标志着望安科技在信息安全领域的地位再次得到了认可，望安科技CC安全认证技术能力可满足国内人工智能的高安全要求。望安科技将持续助力人工智能的高安全等级保障，并在推动我国人工智能与信息安全深度融合方面发挥关键作用。★★★★★聚焦人工智能...

2024年3月，浙江望安科技有限公司与北京永洪商智科技有限公司正式签署合作协议。望安科技将基于形式化验证核心技术和CC安全认证评估能力，为永洪一站式大数据BI平台提供CC EAL2+认证评估服务，助力永洪大数据BI平台在安全性和可靠性达到更高水平，为用户提供更加稳定、可靠的数据保障。一关于永洪科技01永洪BI永洪BI，一站式大数据分析平台，旨在帮助企业快速整合海量数据，提供敏捷、易用、高效的...