品牌设计模板

导语近日，国际电气与电子工程师协会电力与能源协会（IEEE PES）发来嘉许状，浙江望安科技有限公司创始人、董事长赵永望教授受聘为2025至2027年度IEEE PES电力系统通信与网络安全技术委员会（中国）开源软件技术分委会常务理事。此次任职不仅是国际行业对赵永望教授技术影响力的高度认可，更标志着望安在电力开源软件安全领域的技术实力与话语权迈向国际舞台。 IEEE PES作为全球电力能源...

2025年12月21日，北京航空航天大学软件学院2025年度表彰大会暨2026年“码跃星河·航向未来”新年晚会圆满举办。望安科技受邀出席盛会并荣获北航软件学院颁发的“2025年度产教融合突出贡献奖”，这一奖项既是对双方年度合作成果的高度认可，更是对双方在未来深化协同创新的有力期许。产教融合突出贡献奖 此次荣获的“2025年度产教融合突出贡献奖”，充分体现了望安科技与北航软件学院长期合作...

近日，浙江望安科技有限公司成功中标某大型通信企业操作系统高等级安全合规项目。此次中标不仅代表望安科技在高安全产品合规领域的专业能力再次获得行业认可，也标志着公司在关键基础软件安全保障方面迈出了又一重要步伐，为推动自主操作系统安全可信建设提供了坚实支撑。 该项目作为通信行业的重要高等级安全项目，对操作系统的安全能力、风险抵御水平和安全标准满足情况提出了更高要求。项目将围...

近日，望安科技成功中标某大型央企集团操作系统高等级安全合规项目。此次中标不仅标志着望安科技在高等级信息安全认证领域的专业能力再次获得央企客户的高度认可，也意味着我国在自主操作系统安全可信建设方面取得又一关键进展，为国家关键行业的信息化安全构建更加稳固的安全基座。 在国家加快推进关键核心技术攻关与重要行业数字化升级的背景下，高等级安全认证已成为关键产品走向更高标准的必经...

近日，浙江省博士后工作办公室正式发函，同意浙江望安科技有限公司设立“浙江省博士后工作站”。这一获批标志着望安科技在科研创新实力、人才培养体系及技术成果转化能力等方面获得了权威认可，也意味着公司在建设高层次科研平台、推动创新型人才引进方面迈入了新的发展阶段。博士后工作站 望安科技长期深耕原生安全、形式化验证等关键技术领域，已在多项核心技术上取得突破并推动产业化落地。此次...

2025年11月28日—11月30日，2025 CCF 中国软件大会在湖北省武汉国际会议中心圆满举办。作为本届大会的赞助单位，望安科技与华为、蚂蚁集团、百度、浪潮等企业共同支持大会顺利举办。大会期间，望安科技携四场论坛报告亮相，集中展示了团队在“原生安全”和“形式化验证”领域的最新研究成果与技术进展。CCF ChinaSoft CCF 中国软件大会由全国软件与应用学术...

导语 2025年11月10日—11月13日，第26届ICFEM（International Conference on Formal Engineering Methods，国际形式化方法与工程会议）在浙江大学玉泉校区圆满举行。大会汇聚了来自全球形式化方法、软件工程及系统安全领域的知名学者与产业代表，共同探讨形式化验证技术在软件工程中的创新应用与未来发展。作为国内形式化验证领域的代表企业...

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

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

中标 近日，浙江望安科技有限公司成功中标国家某关键战略行业形式化验证项目，体现了国家关键战略行业用户对望安科技在形式化验证领域专业实力与产品能力的高度认可，也彰显了公司在形式化验证领域的技术领先地位与持续影响力。望安形式化验证 望安科技始终专注于形式化验证技术的研究与应用，已取得多项技术专利及软件著作权，并自主研发了多款形式化验证工具，成功构建了面向国家重大项目、核心行业与高安全...

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

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

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

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

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

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

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

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

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

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