TrustInSoft支持泰雷茲航空電子通信網(wǎng)絡(luò)安全

• TrustInSoft 宣布，泰雷茲已選擇 TrustInSoft Analyzer 來(lái)加強(qiáng)其未來(lái)航空電子和通信系統(tǒng)的網(wǎng)絡(luò)安全和可靠性。隨著安全和任務(wù)關(guān)鍵型環(huán)境中軟件復(fù)雜性的增加，確保不存在內(nèi)存漏洞和運(yùn)行時(shí)錯(cuò)誤變得至關(guān)重要。為了解決這個(gè)問(wèn)題，TrustInSoft 開(kāi)發(fā)的代碼分析技術(shù)使泰雷茲能夠增強(qiáng)其軟件保障流程，以滿(mǎn)足安全和網(wǎng)絡(luò)安全合規(guī)性的最高標(biāo)準(zhǔn)。TrustInSoft Analyzer 通過(guò)高級(jí)形式化方法為不存在關(guān)鍵軟件缺陷（如緩沖區(qū)溢出、未初始化的內(nèi)存訪問(wèn)和整數(shù)溢出）提供數(shù)學(xué)保證。此功能使 Tha
• 關(guān)鍵字： TrustInSoft  泰雷茲  航空電子  通信網(wǎng)絡(luò)安全