品牌设计模板

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

导语 近日，浙江望安科技有限公司受邀参加泛在操作系统开放社区第一届第一次管理委员会暨社区工作会议。会上，望安科技获得CCF泛在操作系统开放社区成员单位证书，正式成为社区成员单位。此次加入不仅彰显了望安科技在操作系统安全与可信领域的技术实力，也体现了公司积极融入国产自主创新和开源生态建设的战略布局。CCF泛在操作系统开放社区 CCF泛在操作系统开放社区（CCF-OpenUbiOS）...

导语 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）认证体系的最新...

导语 近日，浙江望安科技有限公司成功获批成为全国网络安全标准化技术委员会 WG5 组成员单位。这一重要进展不仅是对望安科技在网络安全领域长期技术积累与行业贡献的高度认可，更标志着公司在网络安全标准化建设、前沿技术研究以及行业规范制定等方面迈出了更为坚实的一步。全国网络安全标准化技术委员会 全国网络安全标准化技术委员会（TC260）是经国家标准化管理委员会批准，在网络安全技术专业领...

凝心筑梦 聚力前行望安科技2025年云南团建之旅圆满结束九月金秋，望安科技全员齐聚彩云之南，开展了为期五天四夜的云南团建之旅。丽江与大理的美景见证了我们的脚步，团建中的每一份欢笑与真诚，都将成为望安科技发展道路上珍贵记忆。PART.01山河作序，欢声同行 在丽江古城，大家徜徉于青石板街巷，聆听流水潺潺，沉浸在古韵悠长的氛围中。登上玉龙雪山，雪峰巍峨、云雾缭绕，带来心灵的震撼；走进蓝月谷...

数字化浪潮席卷全球，信息安全认证已成为企业绕不开的话题。随着全球网络攻击频发、供应链安全风险凸显、合规政策趋严，“安全认证”已经成为产品进入市场、赢得客户信任的重要门槛。从国际通用 CC 认证，到欧盟主推的 EUCC 认证，再到国内广泛应用的国内 CC 认证，不同认证体系既有共性也有差异。企业在制定市场战略与合规规划时，常常会困惑：究竟如何选择？通用CC认证 CC 共同准则是美...

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

一、引言：为什么要关注SIL认证？在自动化、工业控制、轨道交通、汽车电子以及能源等领域，功能安全（Functional Safety） 已成为产品进入市场和保障运行的“必备条件”。一旦安全系统失效，可能导致生产事故、经济损失甚至人员伤亡。为了评估和确保产品在安全功能上的可靠性，国际标准 IEC 61508提出了 SIL（Safety Integrity Level，安全完整性等级） 的概念。...

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

在全球数字化与智能化的浪潮下，信息安全问题比以往任何时候都更加严峻。从智能手机、物联网设备到工业控制系统和金融级安全芯片，产品在设计阶段的安全性已成为企业能否赢得市场和用户信任的核心因素。面对日益复杂的网络攻击和合规要求，国际安全认证成为企业证明自身产品安全性的重要手段。Common Criteria（CC，通用准则）认证是目前国际上最具权威性的IT产品安全认证标准。作为ISO/IEC 15...

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

随着全球数字化的加速推进，智能设备、物联网终端以及嵌入式系统的大规模应用正在重塑产业格局。然而，技术的复杂化也带来了安全风险的急剧攀升：从智能网联汽车、工业控制设备，到通用的软件与硬件组件，任何安全漏洞都可能成为攻击者的突破口。欧盟作为全球最活跃的网络安全立法者之一，近几年推出了一系列重要法规与认证体系，其中最受关注的莫过于 EUCC 认证和 CRA（Cyber Resilience Act...

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

全国网络安全标准化技术委员会秘书处于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...

网络攻击频发与合规要求趋严的背景下，EAL 认证正从技术领域的小众标准，转变为企业数字化发展的关键要素。越来越多企业将其视为保障安全、提升竞争力的重要抓手。一、三大驱动因素促使 EAL 认证地位攀升（一）网络安全威胁升级2024 年全球数据泄露平均成本达 445 万美元，高级持续性威胁（APT）、勒索软件攻击日益频繁，且目标直指企业核心业务系统。传统防火墙、入侵检测系统等防护手段，已难以抵御...

在数字化浪潮中，企业对信息安全的重视程度达到了前所未有的高度。从日常办公数据到核心商业机密，从客户信息到交易记录，每一项数据资产都面临着来自网络空间的潜在威胁。为了确保自身信息系统的安全性和可靠性，越来越多的企业在选择产品和服务时，将目光投向了权威的信息安全认证。其中，EAL（评估保证级）认证成为了衡量产品安全水平的重要标尺。在 EAL 认证体系中，EAL4 + 和 EAL5 + 是两个备受...

在数字化浪潮席卷全球的当下，网络安全已成为各国关注的焦点。欧盟为应对日益复杂的网络安全威胁，提升信息与通信技术（ICT）产品和服务的安全性，推出了欧盟共同标准网络安全认证（EUCC）。这一认证体系的出现，正悄然重塑着全球网络安全认证的格局。随着物联网、云计算、人工智能等新兴技术的广泛应用，网络安全威胁呈现出多样化、复杂化的趋势。传统的网络安全认证标准已难以满足当下的需求，欧盟迫切需要一套统一...

4 月 11 日晚，美国海关与边境保护局宣布对智能手机、电脑、芯片等电子产品免除所谓 “对等关税”，这一举措无疑给相关电子产品出口企业带来重大利好，豁免产品适用于 4 月 5 日以后进入美国的电子产品，已支付的 “对等关税” 还可申请退款。这一豁免政策的出台，为中国电子产品出口企业创造了更广阔的市场空间。中国作为电子产品制造和出口大国，众多企业在全球供应链中占据重要地位。此前，高额...

在科技飞速发展的当下，AI 生成代码已如燎原之火，迅速在软件开发领域蔓延。据 Gartner 预测，未来四年内，75% 的企业软件工程师都将使用 AI 编码助手。这一技术的崛起，看似为软件开发带来了前所未有的效率提升，能够快速生成代码片段、提供编程思路，让开发者从繁琐的基础代码编写中解脱出来。但在这看似繁荣的背后，却暗藏着巨大的危机，AI 生成的代码极有可能成为软件供应链的一场灾难。AI 生...

在智能驾驶飞速发展的当下，确保其安全性与可靠性成为技术落地的关键所在。形式化验证作为一种基于数学逻辑的验证方法，正为智能驾驶系统注入强大的可靠性保障，从根本上提升其安全性与稳定性。形式化验证通过将智能驾驶系统转化为数学模型，利用严格的逻辑推导，对系统在各种复杂场景下的行为进行验证，确保系统满足预设的安全属性。相较于传统测试方法依赖有限测试用例，形式化验证能覆盖所有潜在行为路径，精准检测出逻辑...

（一）工具链自动化：让 “数学证明” 走进千万开发者在数字化时代，随着软件规模和复杂度的不断攀升，安全漏洞的风险也与日俱增。形式化验证作为保障软件安全的关键技术，正朝着工具链自动化的方向迅猛发展，力求让 “数学证明” 的强大能力惠及每一位开发者。望安科技自主研发的 W-AVC 工具，堪称形式化验证领域的一颗璀璨明珠。这款工具采用了先进的符号执行与抽象解释技术，能够自动对 C 语言代码进行全面...

随着量子计算技术的快速发展，传统信息安全架构面临颠覆性挑战。作为信息安全领域高保障级标准的 EAL5 + 认证体系，其底层安全逻辑和评估框架需要从技术架构、评估范式、生态协同等维度进行系统性重构，以应对量子时代的安全威胁。一、量子计算对 EAL5 + 认证体系的核心冲击量子计算的威胁本质上是对现有安全体系底层密码学基础和硬件防护边界的双重突破。在算法层面，Shor 算法等量子算法可在多项式时...

当欧洲市场的大门缓缓打开，一道名为 EUCC 认证的 “安全锁” 横亘在出口经销商面前。2025 年 2 月正式实施的 EUCC 认证，作为欧盟首个统一的 ICT 产品网络安全认证框架，正重塑欧洲贸易规则。对出口欧洲的经销商而言，它不仅是市场准入的 “钥匙”，更是商业竞争的 “底牌”。从合规层面看，EUCC 认证已成为欧洲市场的硬性门槛。欧盟《网络安全法》明确规定，网络设备、操作系统等关键产...

1、EAL5 + 的技术壁垒：重新定义安全产品的核心指标在数字经济时代，信息安全已成为全球竞争的核心战场。随着网络攻击手段的升级和数据泄露事件的频发，市场对高安全性产品的需求持续攀升。通用准则（Common Criteria）评估保证级（EAL）作为国际权威的安全认证体系，其等级划分直接反映了产品的安全强度。其中，EAL 5 及更高等级（EAL 6/7）凭借系统化的设计验证、抗高级威胁能力及...

2025 年 4 月 28 日，全球网络安全解决方案领导者 Check Point 软件技术有限公司宣布，其核心产品 Quantum 防火墙软件 R82 版正式通过国际通用准则（Common Criteria）EAL4 + 级认证。这一认证由德国联邦信息安全办公室（BSI）授予，覆盖安全网关、安全管理及 Maestro 超大规模网络编排器三大核心模块，标志着 Check Point 在关键基...

（一）CC 标准下的安全能力分级逻辑EAL（Evaluation Assurance Level）作为国际通用准则（CC 标准，ISO/IEC 15408）的核心分级体系，将产品安全能力划分为 7 个等级。其中，EAL4 要求产品在安全功能设计、开发流程管控、漏洞验证等环节达到 “严格商业实践” 的最高水平，覆盖身份认证、数据加密、访问控制等核心技术指标。其诞生源于 20 世纪末全球数字化转...

一、数字时代安全困局：当传统验证遭遇 “不可知风险”在物联网设备爆发式增长、区块链交易高频运转、工业控制系统深度互联的今天，安全漏洞造成的危害正呈几何级放大。2023 年某自动驾驶系统因逻辑漏洞引发事故，2024 年某 DeFi 平台因智能合约缺陷导致 8600 万美元资产蒸发…… 这些案例暴露出传统测试方法的致命短板 —— 依赖抽样测试用例的验证方式，如同在暴雨中撑着破伞，无法抵御 “所有...

在信息安全的竞技场上，EAL 认证就像一把精准的标尺，衡量着各类产品的安全防护能力。国际通用准则 CC 划分的 7 个 EAL 等级中，EAL4 和 EAL5 作为中高级别的代表，一直备受关注。但经过深度剖析与实战检验，EAL5 凭借更科学的评估体系和更强大的防护能力，全方位超越 EAL4，成为信息安全保障的新王者。一、EAL 认证体系：安全能力的 “分级标尺”从 EAL1 到 EAL7，认...

六步打造安全 “金钟罩” 望安科技提供信息技术安全评估标准CC EAL1-EAL7级安全保障级别、IEC 61508、ISO 26262、GM/T国密以及FIPS等高等级安全认证咨询与技术服务，已与国内外多个认证/检测机构建立联合实验室、签署合作协议等。公司拥有自主知识产权的软件源码形式化测试与验证工具W-AVC、基础软硬件形式化建模与验证工具W-Cert、CC安全认证全周期实施平台W...

在信息技术安全领域，评估保障级（Evaluation Assurance Level，EAL）作为衡量产品安全保障能力的核心标准，发挥着关键作用。它源于国际通用的 CC 标准（ISO/IEC 15408），是一套系统的安全评估分级体系，为信息技术产品的安全保障能力提供量化依据。一、EAL 基础概念：信息安全评估的重要标准（一）EAL 的定义与内涵EAL 是基于 CC 标准构建的评估体系，用于...

传统测试 vs 形式化验证：“抽样检查” vs “全量验算”为了让大家更好地理解形式化验证的独特之处，我们来对比一下传统测试方法和形式化验证。传统测试方法，就好比老师抽查学生的考试卷，随机抽取 100 个用例进行测试，如果发现其中 99 个都没问题，就觉得这个系统差不多可以放行使用了。但这种抽样检查的方式存在很大的漏判风险，就像从一大筐苹果里只挑几个检查，即便这几个看起来没问题，也不能保证整...

CC 认证是什么？信息安全领域的 “通用语言”（一）从 “多国标准混战” 到 “全球通用准则”在信息安全发展初期，各国各自为政，标准林立。美国的 TCSEC 主要聚焦于政府和军事领域的计算机系统安全，以保密性为核心，像绝密级信息系统必须达到较高安全等级才能防止机密信息泄露；欧洲的 ITSEC 则更注重完整性和可用性，在商业等领域应用广泛 ，比如金融交易系统要保证数据完整和业务持续可用。不同标...

当地时间 23 日，欧盟委员会发布公告，因违反《数字市场法案》，对美国苹果公司处以 5 亿欧元罚款，对元宇宙平台公司（Meta）处以 2 亿欧元罚款。这是该法案 2022 年通过并实施以来首次开出罚单。《数字市场法案》旨在规范大型数字平台的市场行为，促进欧盟数字市场公平竞争。法案将全球年营业额超过 75 亿欧元、市值达 750 亿欧元且在欧盟拥有至少 4500 万月活用户的平台定义为 “看门...

美国华盛顿视网膜医疗集团（Retina Group of Washington）日前同意支付 360 万美元，就 2023 年 3 月发生的数据泄露事件达成集体诉讼和解。此次事件导致 455,935 人的受保护健康信息遭未经授权访问，暴露了医疗机构在网络安全防护中的关键漏洞。 攻击者加密核心文件并窃取包含姓名、社会安全号码、医疗记录、支付信息等敏感数据。事件引发 7 起诉讼，最...

在数字经济时代，信息安全已成为全球竞争的核心战场。随着网络攻击手段的升级和数据泄露事件的频发，市场对高安全性产品的需求持续攀升。通用准则（Common Criteria）评估保证级（EAL）作为国际权威的安全认证体系，其等级划分直接反映了产品的安全强度。其中，EAL 5 及更高等级（EAL 6/7）凭借系统化的设计验证、抗高级威胁能力及合规适配性，在政府、金融、医疗等关键领域展现出显...

据中国载人航天工程办公室消息，北京时间2025年4月24日14时25分，神舟二十号载人飞行任务航天员乘组出征仪式在酒泉卫星发射中心问天阁圆梦园广场举行。14时26分，中国载人航天工程总指挥、空间站应用与发展阶段飞行任务总指挥部总指挥长许学强下达“出发”命令，陈冬、陈中瑞、王杰3名航天员在第十个“中国航天日”当天领命出征。在航天员的背后，有这么一群人，保障着航空器的安全，作为载人航天工程最重要...

（一）选购时 “三看”看标志：在购买 IT 产品时，首先要认准 CCRC 颁发的认证证书。这是产品经过严格安全评估的重要标志，证书上会清晰标注 EAL 等级，如 “EAL5+”，通常位于证书的显眼位置，方便消费者查看和确认。只有通过 CCRC 认证的产品，才能真正在国内市场上获得安全认可。看场景：不同的使用场景对产品的安全等级需求不同。对于普通用户日常使用的手机、电脑等设备，选择 EAL3-...

一、买 IT 产品时，这个 “安全评级” 比配置参数更重要当你选购手机时，会盯着芯片跑分、摄像头看，但高端产品的标配 ——EAL（评估保障级）认证将成为更重要的指标。比如小米自研HyperOS操作系统的TEE OS拿下国内首张CCRC EAL5 + 证书，专门保护指纹、支付密码等敏感信息。这个源自国际 CC 标准的认证，等级越高（从 EAL1 到 EAL7），意味着产品抵御黑客攻击、数据泄露...

在数字时代，芯片堪称现代科技的 “心脏”，从我们日常使用的智能手机、笔记本电脑，到数据中心的服务器，再到工业控制、汽车电子、航空航天等关键领域，芯片的身影无处不在，是推动各行业发展的核心力量。随着物联网、人工智能、5G 通信等新兴技术的迅猛发展，芯片的应用场景不断拓展，其安全性也日益成为人们关注的焦点。因为芯片一旦出现安全问题，不仅会导致设备故障、数据泄露，还可能引发严重的安全事故，对个人隐...

先给不懂行的朋友划重点：NIS2 是欧盟 2024 年落地的网络安全新规，直接取代 2016 年的旧版 NIS 指令。表面看是升级，本质是欧盟网络安全战略的一次大换血。而2025年的今天网络安全问题更为严峻，让我们再来聊一下NIS2。为什么突然变严？看看这组数据就懂了2023 年欧盟关键基础设施遭网络攻击次数同比激增 40%，能源、医疗行业成重灾区。施耐德电气三年遭遇三次勒索软件攻击，直接催...

你是否想过，当你在欧盟采购一台防火墙、在美国部署云计算服务器，或者在国内参与智慧城市项目时，一份神秘的认证文件正在悄悄决定你的商业命运？这就是通用准则（CC）认证中的评估保障级（EAL），尤其是 EAL4+、EAL5 + 等高等级认证，正在从单纯的技术标签演变为全球市场准入的「数字签证」。举个例子：华为鸿蒙内核在 2023 年获得CC EAL6 + 认证，这是智能终端操作系统领域的全球最高安...

网络安全愈发重要。欧盟为提升信息与通信技术（ICT）产品安全性，推出了 EUCC 认证。它就像一把严格的标尺，衡量着产品是否符合高标准的网络安全规范。对于想进入欧洲市场或提升自身产品网络安全品质的企业来说，了解 EUCC 认证流程至关重要。下面，就为大家详细介绍EUCC 的认证流程。确定产品适用的保证级别EUCC 认证根据产品、服务或流程的预期使用风险水平，设立了两个保证级别，即 “实质性”...

4 月 8 日，北非大地掀起网络惊涛骇浪。疑似阿尔及利亚黑客组织 JabaRoot DZ，向摩洛哥多家核心机构发起闪电战，经济包容部网站与国家社保基金（CNSS）首当其冲，成为重灾区。这场突如其来的攻击，极有可能造就摩洛哥史上规模最庞大的数据泄露灾难。在攻陷经济包容部网站后短短数小时，JabaRoot DZ 再次出手，将黑手伸向摩洛哥国家社保基金。黑客组织高调宣称，已成功突破防线，窃取海量机...

CC 认证（Common Criteria）已从专业术语演变为国际市场的 "硬通货"。据国际安全联盟最新报告显示，2023 年全球智能设备采购中，具备 CC 认证的产品中标率提升 67%。然而，这张 "国际通行证" 的获取之路却充满荆棘 技术标准的 "珠穆朗玛峰"CC 认证的核心难点在于其严苛的技术标准体系。根据 ISO/IEC 15408 标准，认证分为 EAL1-EAL7 七个等级，每个...

在数字时代，信息安全是个人隐私、企业运营乃至国家信息主权的重要保障。小米，作为全球知名的科技企业，在不断推出创新产品的同时，对信息安全也极为重视，其在 EAL（评估保障级）认证方面的成果尤为瞩目，彰显了企业在安全技术研发与应用上的深厚实力。2023 年，中国网络安全审查技术与认证中心（CCRC）向小米智能终端可信执行环境操作系统 2.0（MiTEE OS 2.0）颁发了国内首张最高安全认证等...

在全球数字化高速推进的当下，网络安全已成为影响社会、经济及个人隐私的关键因素。近期，欧盟《网络弹性法案》（Cyber Resilience Act, CRA）正式生效。作为欧盟首部针对含数字元素产品的强制性网络安全立法，它标志着欧盟在抵御网络威胁、强化网络安全方面迈出重要一步。 CRA 体系完备，共 8 章 71 条，覆盖了从日常使用的移动设备、笔记本电脑，到网络运行核心的交...

2025 年 4 月 9 日讯，欧盟委员会正式通过《人工智能大陆行动计划》，该计划致力于为欧盟勾勒出一条成为全球人工智能领导者的清晰路径。此次《人工智能大陆行动计划》围绕五大关键方面，全方位提升欧盟在人工智能领域的创新实力。大力建设大规模人工智能数据和计算基础设施 欧盟计划借助人工智能中心网络与超级中心的建设，进一步强化欧洲的人工智能与超级计算基础设施。目前，13 个人工智能中...

知名网络安全企业 Forescout 于 2025 年 4 月 9 日发布第五份《最具风险联网设备年度报告》。该报告依托其设备云平台对数百万台设备的实时监控数据，运用多维度风险评估模型（涉及漏洞配置、业务关键性、互联网暴露度等指标），全方位呈现了 IT、IoT、OT（运营技术）和 IoMT（医疗物联网）四大领域的设备安全风险状况。报告核心数据显示，全球平均设备风险指数同比攀升 15%，达到 ...

欧洲老牌家居零售公司Fourlis集团透露，2024年11月27日“黑色星期五”前夕遭遇勒索软件攻击，预计损失高达2000万欧元（约合人民币1.66亿元）。Fourlis集团总部位于希腊雅典，拥有宜家的特许经营权，负责宜家在希腊、塞浦路斯、罗马尼亚和保加利亚的运营。该安全事件于2024年12月3日公开，Fourlis集团当时承认宜家线上商店出现的技术问题源于“恶意的外部行为”。尽管该公司在上...

在信息技术蓬勃发展的今天，信息安全已然成为数字化世界稳健前行的基石。EAL 5 + 认证作为信息安全领域极具权威性的高等级认证，正发挥着不可忽视的关键作用。EAL，也就是评估保证级，属于信息技术安全评估通用准则（CC）体系 7 个等级之一。而 EAL 5 + 认证处于高等级序列，其认证流程极为严苛复杂。从产品初始的设计构思阶段，便要求具备完善且严谨的安全理念，确保安全设计贯穿产品全生命周期。...

3月28日，国家互联网信息办公室就《中华人民共和国网络安全法（修正草案再次征求意见稿）》再次向社会公开征求意见。作为出台于2016年，并于2017年6月1日实施的法律，与《数据安全法》《个人信息保护法》共同构建起了我国网络法治领域的顶层制度框架。 2023年1月，英国皇家邮政遭受LockBit勒索攻击，袭击者索要8000万美元赎金，该事件导致国际邮政投递服务瘫痪，数百万信件和包...

在信息安全领域，CC 认证（Common Criteria 认证）以其高权威性和严格标准著称，但其高昂的价格也常令人望而却步。这背后有着诸多深层次原因，涵盖了认证流程、技术要求、市场供需等多个关键层面。 CC 认证的流程极为复杂且严谨，从申请准备阶段开始，企业就需投入大量精力。企业要深入梳理产品的技术细节，详细整理产品的设计文档、功能说明以及安全机制等资料，这些文档需精确且全...

在当今数字化时代，网络安全至关重要，EUCC 作为欧盟网络安全认证的关键力量，正悄然成为新技术进步的强劲催化剂。 EUCC 认证对信息与通信技术（ICT）产品提出了严格的安全标准。以物联网（IoT）领域为例，大量设备接入网络，安全隐患丛生。EUCC 要求物联网设备具备强大的身份验证机制，防止设备被非法接入。这促使企业投入研发力量，推动了基于生物识别、区块链加密等新技术在物联...

在科技飞速发展的当下，各类系统的复杂性与日俱增，其可靠性和安全性愈发关键，形式化验证也因此备受瞩目。 形式化验证是一种借助数学和逻辑手段，对系统进行严格验证的方法。它通过将系统的行为和属性用精确的形式化语言描述，再运用严密的数学推理来证明系统是否符合这些描述，从而确保系统满足特定需求，像功能、安全及性能等方面的规格说明。与传统基于抽样的测试方法不同，它旨在全面覆盖系统所有可能...

在数字化程度日益加深的今天，信息通信技术（ICT）产品已深度融入人们生活与社会运转的方方面面，其安全性至关重要。CC 认证（Common Criteria 认证，即信息技术安全评估通用准则认证）作为全球广泛认可的信息安全评估标准，为保障 ICT 产品安全发挥着关键作用。了解 CC 认证所涵盖的 ICT 产品范围，对企业、消费者以及整个信息安全生态都意义非凡。 在网络设备方面，...

在当下国际贸易局势风云变幻的大背景下，2025 年 4 月，美国新一轮 “对等关税” 政策正式生效，对来自中国、欧盟、加拿大等地涵盖汽车、钢铁、半导体等关键领域的商品加征 10%-25% 关税，引发全球贸易格局剧烈震荡。各国纷纷采取报复性措施，“关税大战” 一触即发。在这样的紧张局势下，欧洲市场对于众多企业而言，虽充满诱惑却也布满荆棘。而 EUCC 认证，作为欧盟网络安全领域极具权...

在信息安全领域，CC 认证的发展历程犹如一部波澜壮阔的史诗，见证了全球对信息安全从懵懂到重视、从各自为政到协同统一的重要进程。上世纪 70 年代，信息时代如汹涌浪潮般席卷而来，信息产品在各个领域迅速普及。但随之而来的安全问题也逐渐成为焦点。在 CC 认证出现之前，各国处于 “各自为政” 的状态，纷纷制定自己的产品安全评估标准。其中，具有代表性的有 1983 年美国发布的 TCSEC（...

CC EAL（Common Criteria Evaluation Assurance Level）认证，作为信息安全领域极具权威性的认证体系，在全球范围内被广泛认可。然而，其高昂的认证价格让众多企业，尤其是中小企业望而却步。这背后存在着诸多深层次原因。复杂且严格的认证流程CC EAL 认证从 EAL1 到 EAL7，共分 7 个等级，每个等级都有着严格且细致的评估标准。以较高等级的 EAL...

在全球数字化转型的浪潮中，欧盟通用准则认证（EUCC）已成为企业进入欧洲市场的关键准入条件。然而，这一旨在提升产品安全性的认证体系，因其严苛的要求和复杂的流程，给中小企业带来了诸多挑战，从经济负担到技术难题，再到时间成本，全方位考验着企业的发展能力。从成本角度来看，EUCC 认证的费用让许多中小企业望而却步。仅基础级别的 EAL4 + 认证，就需要企业投入 20 至 25 万欧元。对于资金储...

在当今数字化狂飙突进、席卷全球的时代，信息技术已然深度嵌入社会运转的每一处脉络。从日常办公的便捷软件，到金融机构关乎国计民生的核心交易系统，再到工业生产线上精密复杂的控制系统，信息技术的身影无处不在。但与之相伴的，是网络安全威胁呈指数级增长，黑客攻击手段层出不穷，数据泄露事件频发，给个人隐私、企业运营乃至国家安全带来了前所未有的挑战。在此背景下，通用准则认证（CC 认证）如同一颗闪耀的新星，...

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

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

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

在数字化浪潮席卷全球的今天，CC认证（Common Criteria）已从专业术语演变为国际市场的"硬通货"。据国际安全联盟最新报告显示，2023年全球智能设备采购中，具备CC认证的产品中标率提升67%。但对中国企业而言，这张"国际通行证"的获取之路却并非易事。 CC 认证，即 Common Criteria 认证，是国际上广泛认可的信息技术安全评估标准。它对于确保产品在保密性、完整性...

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

#人工智能＋#今年的《政府工作报告》中提出，深入推进数字经济创新发展，深化大数据、人工智能等研发应用，并首次提到开展“人工智能＋”行动，同时提出，要进一步提高网络、数据等重点领域的安全保障能力。同时，生成式人工智能技术的加速演进正在推动全社会从数字化向智能化转型，人工智能在打造新的生产工具的同时，也带来了前所未有的网络安全挑战。人工智能带来网络安全新挑战近年来，我国网络安全防护能力和水平不断...

国家标准GB/T 18336《信息技术 安全技术 信息技术安全评估准则》（以下简称“GB/T 18336 标准”）等同采用国际安全标准 ISO/IEC 15408，是国家信息技术产品安全测评领域的基础性标准。在当前国家着力推进数字中国建设的大背景下，GB/T 18336 标准为强化信息技术产品安全性、提升产品国际竞争力、推动科研创新发展、维护国家网络安全起到了重要作用。一对国家网络空间安全的...

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

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

望安科技2024年度启动会2024 Annual Kick-off Meeting岁序更新，华章再启。3月22日下午，望安科技2024年度启动会在绍兴会议室成功召开，望安科技董事长、总经理及各部门负责人共同出席本次会议。PART01董事长致辞望安科技董事长发表致辞，他深入剖析了当前行业发展趋势及公司定位，提出了2024年望安科技发展的战略目标和工作重点，号召全体员工积极发扬团结协作、拼搏进取...

近日，美国白宫国家网络主任办公室（ONCD）发布一份题为《回到基础构件：通往安全软件之路》的报告。呼吁开发人员积极使用“内存安全的编程语言”，例如Rust、Python、Swift、C#、Java和Go等，同时强调了形式化方法在软硬件安全领域的重要性，提出形式化方法应当应用于软硬件开发的全过程。形式化方法作为一种严谨、精确的验证技术，将成为全球的发展趋势，其在未来软硬件安全发展中将占据核心地...

近日，小米科技与望安科技又签订了一项CC EAL5+ 安全认证项目。这一重要协议的签署，标志着双方在信息安全认证领域的合作更进一步，也彰显了小米对望安科技专业技术能力的高度认可。望安科技作为国内CC信息安全高等级认证的推动者，将凭借其深厚的技术底蕴和丰富的实践经验，为小米产品的高安全性和可靠性提供强大支撑。望安科技一直以来与小米保持紧密合作，为其提供高安全等级的CC认证评估服务。其中，望安科...

联邦信息处理标准出版物(FIPS) 140-3于2019年9月22日生效，允许CMVP从2020年9月开始接受新计划下的验证提交。FIPS 140-3标准对以前的标准在管理方面进行了一些重大更改。FIPS 140-3没有直接包含模块要求，而是参考了国际标准化组织/国际电工委员会(ISO/IEC) 1979:2012(E)。这些要求的测试将按照ISO/IEC 24759:2017(E)进行。一...

近日，望安科技中标浪潮控股子公司沄熹科技开务数据库系统 EAL 测评认证服务采购项目，在众多竞争者中脱颖而出，此次中标不仅彰显了望安科技在CC认证领域的雄厚技术实力与市场高认可度，也标志着望安在业务拓展与技术服务能力的又一重大突破。望安科技自成立以来，始终坚持以科技创新为驱动，深耕形式化技术研发，不断升级和完善产品线，满足不同行业客户的定制化需求。公司作为国内“形式化验证”领域和“CC高等级...

近日，由望安科技承担实施的中科海微SeawayHyper获得了中国网络安全审查技术与认证中心（CCRC）颁发的国内最高安全认证等级EAL5+证书。中科海微SeawayHyper是目前中国行业内首个获得Hypervisor类产品最高信息安全等级EAL5+认证的产品。CC（Common Criteria for Information Technology Security Evaluation...

在当今技术飞速发展的时代，软件的复杂度正以前所未有的速度增长，将软件安全推向了一个新的挑战边界。安全性不再是一个可选项，而是成功的核心。随着越来越多的行业开始意识到这一点，形式化验证这一先进的技术，正从一种理想转变为实际应用的必需品。正是基于这样的观察和笃定，望安团队投入了三年的时间，专注于形式化产品的研发、服务和行业深耕。这期间我们一直孜孜不倦地更新前沿形式化验证领域知识，打造最专业的开发...

信息安全漏洞造成的负面影响已蔓延到信息社会的各个角落。本质上，IT产品的设计、实现缺陷以及运行环境的失效，是导致系统安全漏洞的根本原因，受技术能力的限制，这些缺陷往往由于隐蔽性较强，而无法在开发过程中被及时清除。信息安全测评是解决这个问题的重要手段，从ISO/IEC JTC1 SC27 WG3公布的信息来看，安全测评的意义已得到国际信息安全产业界的普遍认可。当前，国际上主要采用CC(Comm...

为深入推进校企合作，首都师范大学信息工程学院与浙江望安科技有限公司携手共建可信软件实践基地，签约仪式在首都师范大学顺利举行。首都师大信息工程学院书记师怡爽、院长施智平，浙江望安科技有限公司董事长赵永望、总经理陈建明等共同出席了本次签约仪式。施智平院长对望安科技一行的到来表示热烈欢迎，并介绍了信息工程学院的发展历程、师资队伍、人才培养、科学研究等情况。他表示，信息工程学院聚集了一批优秀的师资，...

12月15日，望安科技Wonsec系列工具，受邀在“航天软件行业自主创新发展”专家论坛进行演讲交流，论坛由中国载人航天工程软件工程和数字化技术发展与管理中心联合承办。会上，望安科技创始人-赵永望做了《关键软硬件的形式化验证与高安全级认证》的主题演讲，重点介绍了望安科技形式化验证工具W-AVC、W-Cert以及信息安全评估服务平台W-CaaS，引起了与会专家的广泛关注。这些工具将形式化验证技术...

#中国软件大会#12月2日，由中国计算机学会（CCF）主办，CCF系统软件专委会、形式化方法专委会、软件工程专委会、复旦大学承办的2023 CCF中国软件大会(ChinaSoft 2023)在上海国际会议中心正式开幕。CCF中国软件大会是我国软件领域规模最大、影响力最广的学术会议。本届大会聚焦“智能化软件创新推动数字经济与社会发展”主题，包含学术、工业、教育以及竞赛四大类50余场活动，吸引来...

新一轮科技革命和产业变革方兴未艾，作为新技术集成应用最佳载体之一的汽车正加速向智能化转型，智能网联汽车已成为全球汽车产业发展的战略方向。当前，智能网联汽车在全球范围内已经进入快速发展期，L1—L2级驾驶辅助系统已经开始大规模装车量产，L3—L4级自动驾驶系统正处于研发和小规模测试阶段，各国均已开始推动开放测试道路、完善法律法规等政策，目前市场主体空前丰富，传统主机厂、互联网企业、ICT企业、...

随着各行业引进一系列产品设计和测试的标准化流程，安全保障也日益规范化。ISO 26262是针对汽车零部件中的关键电气和电子(E/E)系统的功能安全标准。ISO 26262基于IEC 61508制定，后者是电气和电子系统的通用功能安全标准。本白皮书介绍了ISO 26262的关键部分及软硬件认证。此外，本白皮书还涵盖了ISO 26262的测试过程，以及符合ISO 26262规定的认证工具。内容•...

2023年10月26日，小米于北京召开了主题为「跨越时刻」的小米澎湃OS暨小米14系列新品发布会，正式发布了小米澎湃 OS，开启了「人车家全生态」的跨越时刻。小米澎湃 OS是一次史无前例的系统底层重构，从这一刻起，小米澎湃 OS将逐步接替MIUI，成为小米手机的核心系统。小米澎湃 OS小米澎湃OS的横空出世，离不开望安的技术支持。会中，金凡表示，小米澎湃OS安全的基石是小米自研的TEE硬件...

2023年9月15日，由国汽智控牵头的标准《车控操作系统功能软件架构及接口规范》正式批准发布，并依托中国智能网联汽车产业创新联盟，形成标号（T/CSAE 305-2023）的团体标准。望安科技作为中国智能网联汽车产业创新联盟基础软件工作组成员共同参与该标准起草。✦ 标准解读 ✦标准针对智能网联汽车车控操作系统功能软件的总体架构及功能软件面向应用软件提供的配置接口、加载接口和数据交换接口要求做...

形式化验证作为一种全新的验证方法，近年来在芯片开发中快速发展，正逐渐取代传统的仿真方法。虽然仿真在系统级验证方面仍然发挥着重要的作用，但对于单元级的signoff而言，形式化验证已经成为首选。据估计，在未来五年内仿真将逐渐被取代，仅用于子系统和系统级验证。与此同时，形式化验证方法已经开始处理一些系统级任务，随着技术的不断创新，形式化验证将逐步开始处理更多系统级任务。01 形式化验证的普及近五...

为进一步提升团队凝聚力和战斗力增强员工对公司的归属感丰富员工业余文化生活、缓解员工工作压力望安科技特组织核心团队员工前往三亚开展团建活动及2023半年度会议# Part1团结一致·凝心聚力本次团建活动地点位于三亚市，活动设置了多个合作项目，例如趣味拔河、四人五足、解手链等游戏。在这个活动过程中，团队合作的重要性得到了充分展现。大家拼尽全力、挥洒汗水，尽管天气炎热却享受其中。这些活动让大家体会...

热烈祝贺望安科技在浙江省股权交易中心成功挂牌2023年8月10日，望安科技在浙江省股权交易中心科创人才板挂牌成功，成为2023年绍兴市首批挂牌企业。本次挂牌，是望安科技发展的又一重要里程碑，标志着望安正式进入中国资本市场的舞台，驶入企业发展的快车道。浙江省股权交易中心浙江省股权交易中心浙股交是经省政府批准的浙江省（不含宁波市）唯一合法的区域性股权市场运营机构，主要服务于所在省级行政区域内中小...

2023年8月4日，望安科技作为系统形式化验证与安全认证的推动者，受邀参加了华为第四届ICT软件技术大会，并由创始人——赵永望做了《操作系统形式验证与安全认证》的报告。华为ICT软件技术大会面向全球华为研究所举办，汇聚了来自全球的华为研究人员、软件技术领域学术专家以及企业代表，展示了学术界和工业界最新的软件技术与成果，是业界优秀企业的交流平台。当前，软件产业已成为加快各国经济，尤其是数字经济...

2023 CCF自主可控计算机大会2023年7月13日-14日，由中国计算机学会主办，中国计算机学会抗恶劣环境计算机专委会、江苏省企业联合会、江苏省互联网协会、中国计算机学会南京会员活动中心联合承办的“2023（第六届）CCF自主可控计算机大会”在江苏南京成功举办。本次会议以“共建自主可控信创基础 同促数智安全融合发展”为主题，设置特邀报告、专题论坛、新品发布、成果展示、颁奖典礼等环节，来自...

近日，望安科技W-AVC平台中标国家某部形式化验证工具采购项目，标志着望安科技形式化验证软件产品获得国家某部用户的高度认可，彰显了望安在形式化验证领域的市场高认可度和技术研发实力。望安科技作为系统安全形式化验证、国内CC信息安全高等级认证的推动者，参与多项国内认证行业标准制定，拥有多项形式化验证相关专利证书及软件著作，自研多款形式化验证工具。望安C代码自动验证平台W-AVC是基于形式化验证技...

近日，望安科技承担实施的小米智能终端可信执行环境操作系统2.0（MiTEE OS 2.0）评估项目，成功获得了由中国网络安全审查技术与认证中心（CCRC）颁发的国内首张最高安全认证等级EAL5+ 证书。该证书的颁发，标志着MiTEE OS的信息安全保障能力已达到行业领先水平。该项目实施中，望安科技承担了小米智能终端可信执行环境操作系统2.0信息安全评估的整个实施过程。MiTEE OS 2.0...

2023年7月11日，望安科技共同起草的《虚拟机监控器（hypervisor）产品安全技术要求》产品认证技术规范正式发布。虚拟机监控器的认证标准本标准按照 GB/T 1.1-2020《标准化工作导则 第1部分：标准化文件的结构和起草规则》的规定，由中国网络安全审查技术与认证中心、信息产业信息安全测评中心、中科海微（北京）科技有限公司、浙江望安科技有限公司、上海市信息安全测评认证中心等单位起草...

图片复制失败，可插入图片添加查看操作本系列文章将对全球知名的安全漏洞数据库CWE（Common Weakness Enumeration）中C代码常见错误进行介绍，并示范如何使用望安C代码自动验证平台W-AVC对漏洞进行检测。本篇将介绍在CWE 2023年软件漏洞安全列表中排名第一的越界写入漏洞（CWE-787）开始讲起。栏目后续会逐步介绍内存越界、算术溢出、指针释放错误、数据竞争等漏洞的描...

望安科技助力杭州天宽科技有限公司“移动终端安全管理控制产品”顺利通过中国网络安全审查技术与认证中心(CCRC)的安全认证，成功获得了《IT产品信息安全认证证书》。《IT产品信息安全认证证书》是由中国网络安全审查技术与认证中心认证授予。获得国家信息安全产品认证证书的产品表明其符合相应的信息安全规范和标准要求。IT产品信息安全认证业务，是依据信息技术安全评估准则和相关技术要求，对IT产品的安全性...

2023年5月6日，望安科技共同起草的《智能摄像头产品安全技术要求（评估保障级3增强级）》产品认证技术规范正式发布。智能摄像头EAL 3+的认证标准本标准按照 GB/T 1.1-2020《标准化工作导则 第1部分：标准化文件的结构和起草规则》的规定，由中国网络安全审查技术与认证中心、信息产业信息安全测评中心、中国移动通信集团终端有限公司、浙江望安科技有限公司、上海市信息安全测评认证中心等单位...

近日，浙江省科技厅公布了浙江省2023年第三批拟入库国家级科技型中小企业名单，浙江望安科技有限公司成功入选。本次入选“国家级科技型中小企业”，是望安在科技创新方面取得的又一喜人成果，是上级政府及主管部门对望安在技术创新、知识产权管理、市场开拓等方面的充分肯定。

2023年5月5日下午，“创在柯桥·无限柯能”2023首届中国柯桥“无限创投节” 在绍兴国际会展中心顺利举办，来自全国各地的投资机构、金融部门、创业项目齐聚柯桥，共谋合作、共促发展。 首届“无限创投节”由区委组织部（人才办）、区财政局（产基办）主办，是首届人才科创周的子活动。活动现场进行了机构签约和项目签约仪式，架起了政府、企业、资本三方沟通融合的桥梁，促成了更多产业合作和产业发展的...

4月，绍兴市经济和信息化局公布了绍兴市2023年度第一批创新型中小企业名单，浙江望安科技有限公司成功入选。该项认定意味着望安科技的研发能力、创新能力得到了国家与社会的认可和肯定。绍兴市2023年度第一批创新型中小企业名单创新型中小企业 一般是指具有较健全的创新机制，以技术创新为核心，形成以技术、品牌、制度、管理、文化等全面而持续的创新能力的中小规模企业。 创新型中小企业具...

2023年3月30日，以“护航数字安全，智领创新生态”为主题的2023年望安科技产品发布会在杭州西子湖畔成功举办。本次产品发布会共推出两款产品——望安C代码自动化验证平台（W-AVC）以及CC评估服务平台（W-CaaS）。数字化时代，信息安全已经成为各个行业、企业乃至政府最为关注的话题之一，是国家战略性、基础性和先导性产业，对整个国民安全具有重大的保障作用。在信息安全发展浪潮下，信息安全和高...

2023年是各行各业马力全开、重新突破的一年。随着企业数字化、信息化的不断加快，高安全等级保障显得尤为重要，高等级安全认证是数据安全与网络安全的基础，也将成为推动社会经济发展的重要抓手之一。在此背景下，望安科技将于2023年3月30日召开产品发布会，正式推出W-AVC以及W-CaaS两个产品。届时，公司会将最新的技术、产品、应用和服务带给大家。 望安科技是以“形式化验证”为核心技术的...

2023年2月22日，望安科技共同起草的《智能终端可信执行环境操作系统》产品认证技术规范发布。手机TEE的CC认证标准本标准按照 GB/T 1.1-2020《标准化工作导则 第1部分：标准化文件的结构和起草规则》的规定，由中国网络安全审查技术与认证中心、信息产业信息安全测评中心、浙江望安科技有限公司、小米科技有限责任公司等单位起草，《智能终端可信执行环境操作系统安全技术要求》产品认证技术规范...

热烈祝贺望安科技通过了2022年国家高新技术企业认定。此项认定体现了望安科技不断创新、追求卓越的理念，是对望安科技技术和实力的不断提升的又一次认可和肯定。“高新技术企业”，是指在国家重点支持的高新技术领域，持续进行研究开发与技术成果转化，形成企业核心自主知识产权，并以此为基础开展经营活动，将重大高新技术成果转化成生产力的技术水平的企业；属于知识密集、技术密集的经济实体。国家高新技术企业是国家...

2023年1月13日，望安科技中标某航天嵌入式操作系统的EAL5+安全认证服务项目。该项目彰显了望安科技在CC高等级认证领域的市场高认可度和领先的技术研发实力，公司CC EAL 5+安全认证能力满足国内航天嵌入式操作系统的安全要求，望安科技将持续助力国内航天系统高安全的等级保障。望安科技可提供 CC 认证全等级评估服务，是国内拥有CC EAL 5及以上评估保障级别服务能力的专业 CC 评估服...

2022年12月1日上午，望安科技作为联盟成员单位参加了中国智能网联汽车产业创新联盟暨基础软件工作组2022年年终工作会议。此次会议总结了2022年度基础软件工作组的工作推进情况，对2023年的工作规划进行了重点讨论，并针对行业产业白皮书进行了技术内容分享。本次会议促进了联盟各成员单位的技术交流、协同合作，共同探索智能网联汽车基础软件行业的稳健发展新模式，助推智能网联汽车市场行稳致远。会议中...

2022年CCF 中国软件大会（CCF ChinaSoft 2022）于2022年11月25-27日以线上会议的方式举行。本届大会由CCF主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、复旦大学承办。本次大会主题是“聚焦产教研用协同创新，提升关键软件供给能力”，12位院士线上莅临，40场论坛精彩纷呈。其中，望安科技特聘专家David Sanan 博士受邀参加约束求解与定理证明论...

请输入要描述的内容进行内容的补充请输入要描述的内容进行内容的补充请输入要描述的内容进行内容的补充请输入要描述的内容进行内容的补充请输入要描述的内容进行内容的补充

请输入要描述的内容进行内容的补充请输入要描述的内容进行内容的补充请输入要描述的内容进行内容的补充请输入要描述的内容进行内容的补充请输入要描述的内容进行内容的补充

请输入要描述的内容进行内容的补充请输入要描述的内容进行内容的补充请输入要描述的内容进行内容的补充请输入要描述的内容进行内容的补充请输入要描述的内容进行内容的补充

xxx公司举行盛大招待会 热烈庆祝xxx公司95周年 | xxx专家、xxx教授、xxx专家联合出席xxx公司举行盛大招待会 热烈庆祝xxx公司95周年 | xxx专家、xxx教授、

信创，即信息技术应用创新产业，它是数据安全、网络安全的基础，也是新基建的重要组成部分。信创产业的生态体系极为庞大。从产业链角度来看，它主要由基础硬件、基础软件、应用软件、信息安全这四部分构成。目前国内的信创产业中，芯片、整机、操作系统、数据库、中间件是最重要的产业链环节。信创慢慢从服务器、桌面，延伸到嵌入式领域，包括工业、汽车、航空、航天、手机、军工等。信息技术应用创新发展是目前的一项国家战...

随着工艺的高速发展和技术的升级迭代，芯片工业正变得日趋庞大复杂，而这一变化也在深刻地改变着数字芯片的设计。如何在芯片制造成本呈现指数型上升，同时上市时间（Time To Market）争分夺秒的今天，正确而高效地完成数字前端的工程实施， 对于无论是设计和验证团队的管理，还是其中的工程方法学，都提出了艰巨的挑战。在如今的数字芯片前端开发流程中，验证工程师通常需要在整个研发设计周期，与设计工程师...

2022年10月27日下午，望安科技在线上为军科院提供了关于形式化验证工具技术培训会。望安科技研发部负责人姚历智担任本次培训讲师。本次培训详细介绍了望安科技形式化验证技术工具及其应用场景，并结合实际案例，向军科院参会人员列举了望安形式化验证工具的使用方式及使用过程中常见的问题及解决方案，并回答了相关的疑问，取得的良好的培训结果。望安科技望安科技是以“形式化验证”为核心技术的网络与信息安全产品...

2023年8月23-25日，第五届中国嵌入式技术大会在深圳会展中心（福田）成功举办，本届大会以“智能、创新、开源”为主题，聚焦智能系统、汽车电子、开源芯片和基础软件四大板块，汇聚优质企业及知名专家学者，提供全球嵌入式技术的行业交流平台。会议包括专家论坛和6个论坛、几十场技术报告。现场演讲Live Presentations望安科技作为系统形式化验证与安全认证的推动者，受邀参加了本次大会，并...

2023年7月25日，由深创投举办的SSGC-Logic@2023年“走向共同创业”、软件工程基础技术交流研讨会在深圳成功召开。本次会议由深创投集团投委会秘书处组织，以形式化Logic为核心探讨软件工程基础技术。望安科技作为系统形式化验证与安全认证的推动者受邀参会，并由创始人赵永望 作了《关键软硬件的高安全等级认证与形式化验证——技术、应用、产品》的报告。深创投作为国内投资界最具代表性的创投...

望安科技 系统安全形式化验证的领航者