首页 > 梆梆资讯 > 梆梆安全与望安科技达成战略合作 推进形式化验证在安全关键领域落地

梆梆安全与望安科技达成战略合作 推进形式化验证在安全关键领域落地

2021-01-07 市场活动1972

2021年新年伊始,梆梆安全科技有限公司与望安科技有限公司达成战略合作。双方将强强联合,优势互补,共同推进形式化验证技术在安全关键系统、软件、嵌入式实时操作系统等领域的成熟落地。

浙江望安科技有限公司是国内第一家以"形式化验证"为核心技术的安全服务及产品提供商。公司由主创始人现浙江大学、原北京航空航天大学赵永望教授依托十多年的相关研发成果而创办,致力于为国家重大项目、核心软件及重点领域客户提供安全认证保障。业务覆盖航空航天、国防、轨道交通、区块链、物联网、工业控制、芯片设计制造等重大领域。

北京梆梆安全科技有限公司成立于2010年,是国内移动应用安全、物联网安全领军企业。公司“本质安全”的思维发展和探索相关核心技术,围绕基于硬件的虚拟保护层、软件定义安全芯片、物联网安全操控系统、程序质量保障、程序安全可信,倡导IN-APP Protection安全理念,针对企业数字化转型提供全系列解决方案。业务广泛覆盖金融、政府、运营商、互联网、能源、交通、车联网、智能制造等领域。

计算机科学的发展主要涉及硬件和软件两个方面,而软、硬件发展的核心问题之一是如何保证它们是可靠的、安全的。传统的模拟和测试方法不能保证软件和硬件的可靠性。形式化验证的主要思路是使用数学的公式、定理和系统对计算机软件或硬件进行正确性验证,从而保证从软件需求到软件编码全过程的逻辑一致性。目前,形式化验证方法成功应用于商业、航空业、通信业和芯片制造业,INTEL,ARM和NIVIDA等大公司已经把形式化方法应用到芯片的制造和验证环节中。形式化验证通过清晰无歧义的形式化语言,进行穷举形式验证,最大限度地理解和分析系统,尽可能地发现其中不一致性、模糊性、不完备性等错误,是改善和确保计算程序、计算系统质量的重要方法随着我国自主可控的推进,对安全、自主、可靠性的要求不断提高,智能终端系统和软件程序的安全可靠性验证愈发受到重视。形式化验证将在确保产品的安全可信层面发挥越来越重要的价值。

此次战略合作协议签署后,双方将在技术、产品和市场等层面全面合作,共同推进形式化验证技术在物联网终端固件、嵌入式设备代码、物联网程序等领域的落地。未来,双方将进一步以国家在新基建、5G+等领域的发展战略为引导,充分整合优势资源,创新模式,共同探索安全关键领域新生态。

  • 渠道商申请
  • 真诚期待各位合作伙伴加盟,同梆梆安全一起塑造辉煌
  • 立即申请 > >
  • 服务热线
  • 在使用过程中遇到的任何问题,请随时联系梆梆安全客服人员,我们将第一时间为您解答
  • 4008-881-881
  • 在线反馈
  • 用心聆听用户声音,您的建议、评价、吐槽,是我们产品前进的动力
  • 我要反馈 > >
  • 帮助中心
  • 为您提供产品描述、功能介绍、使用方法、常见问题解答等内容,便于快速了解梆梆各项产品服务
  • 点击前往 > >