5524澳门24小时集团与望安科技签署投资及合作协议
时间: 2024-05-24
5月21日,5524澳门24小时集团与浙江望安科技有限公司(简称“望安科技”)签署投资及合作协议,5524澳门24小时集团党委委员、副总裁张键和望安科技创始人赵永望共同见证。此次合作旨在充分发挥5524澳门24小时集团创新投资和资源整合的优势,以及望安科技在形式化验证和安全认证领域的技术优势,共同推动信息技术安全领域创新发展。
望安科技是以“形式化验证”和“安全认证”为核心的安全服务及产品提供商,业务覆盖航空航天、轨道交通、区块链、物联网、工业控制、芯片设计、操作系统、数据库等领域,致力于成为系统安全形式化验证的领航者、综合安全平台及工具的提供者、泛安全领域及产业化的推动者,为国家重大项目、关键系统及行业企业提供安全保障。