- TrustInSoft 宣布,泰雷兹已选择 TrustInSoft Analyzer 来加强其未来航空电子和通信系统的网络安全和可靠性。随着安全和任务关键型环境中软件复杂性的增加,确保不存在内存漏洞和运行时错误变得至关重要。为了解决这个问题,TrustInSoft 开发的代码分析技术使泰雷兹能够增强其软件保障流程,以满足安全和网络安全合规性的最高标准。TrustInSoft Analyzer 通过高级形式化方法为不存在关键软件缺陷(如缓冲区溢出、未初始化的内存访问和整数溢出)提供数学保证。此功能使 Tha
- 关键字:
TrustInSoft 泰雷兹 航空电子 通信网络安全
trustinsoft介绍
您好,目前还没有人创建词条trustinsoft!
欢迎您创建该词条,阐述对trustinsoft的理解,并与今后在此搜索trustinsoft的朋友们分享。
创建词条
关于我们 -
广告服务 -
企业会员服务 -
网站地图 -
联系我们 -
征稿 -
友情链接 -
手机EEPW
Copyright ©2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《电子产品世界》杂志社 版权所有 北京东晓国际技术信息咨询有限公司

京ICP备12027778号-2 北京市公安局备案:1101082052 京公网安备11010802012473