智能網(wǎng)聯(lián)汽車對(duì)外通信安全概述
01 引言 圖1 ?智能網(wǎng)聯(lián)汽車對(duì)外通信架構(gòu)[1] 在很多人的認(rèn)知里，汽車安全往往等同于 剎車是否可....
面向復(fù)雜系統(tǒng)的嵌入式軟件高可信建模與驗(yàn)證方法
01 引 言 在航空航天、軌道交通、核能電力、汽車電子等安全關(guān)鍵領(lǐng)域，嵌入式控制軟件一旦出現(xiàn)故障，其....
讀懂集成測(cè)試，打造堅(jiān)不可摧的軟件基石
你的項(xiàng)目是否也曾陷入“每個(gè)模塊都沒問題，一合并就漏洞百出”的窘境？問題的關(guān)鍵，可能就在于集成測(cè)試。 ....
藍(lán)牙協(xié)議棧架構(gòu)概述
作者 |?付東杰 ?上海控安可信軟件創(chuàng)新研究院 來源 | ?鑒源實(shí)驗(yàn)室 社群 | ?添加微信號(hào)“ T....
耦合之殤，軟件設(shè)計(jì)中的隱疾
01 引 言 數(shù)據(jù)耦合和控制耦合是復(fù)雜軟件設(shè)計(jì)中常見的一種情況。DO-178C要求高安全等級(jí)軟件( ....
上?？匕玻浩嘇PI安全-風(fēng)險(xiǎn)與防護(hù)策略解析
隨著車聯(lián)網(wǎng)技術(shù)的迅猛發(fā)展，汽車API（應(yīng)用程序編程接口）已成為連接車輛與數(shù)字生態(tài)系統(tǒng)的關(guān)鍵紐帶，在提....
上?？匕玻夯谀Ｐ偷臏y(cè)試用例生成
在當(dāng)今復(fù)雜多變的軟件開發(fā)環(huán)境中，軟件系統(tǒng)的規(guī)模和復(fù)雜度不斷攀升，傳統(tǒng)測(cè)試方法面臨著諸多挑戰(zhàn)。如何高效....
上海控安：WiFi網(wǎng)絡(luò)安全攻擊
01 引 言 無線網(wǎng)絡(luò)（WiFi）技術(shù)作為現(xiàn)代信息社會(huì)的基石，儼然成為日常生活與生產(chǎn)環(huán)境中不可或缺的....
從“被動(dòng)檢測(cè)”到“主動(dòng)預(yù)防”，上海控安TestGrid推出動(dòng)態(tài)缺陷檢測(cè)功能模塊
在嵌入式系統(tǒng)與安全關(guān)鍵領(lǐng)域，如航空航天、軌道交通、自動(dòng)駕駛、醫(yī)療設(shè)備，代碼缺陷可能引發(fā)災(zāi)難性后果。傳....
鑒源實(shí)驗(yàn)室·代碼缺陷檢查中的數(shù)據(jù)流分析技術(shù)
數(shù)據(jù)流分析通過追蹤變量狀態(tài)在程序執(zhí)行路徑中的傳播過程，為精準(zhǔn)識(shí)別空指針引用、資源泄漏等隱蔽缺陷提供了....
鑒源實(shí)驗(yàn)室·智能網(wǎng)聯(lián)汽車協(xié)議數(shù)據(jù)傳輸安全分析與防護(hù)
在信息交互過程中，如何防止數(shù)據(jù)被竊取或篡改、如何確保信息傳輸?shù)恼鎸?shí)性和完整性，成為亟待解決的問題
鑒源實(shí)驗(yàn)室·如何通過雷達(dá)攻擊自動(dòng)駕駛汽車-針對(duì)點(diǎn)云識(shí)別模型的對(duì)抗性攻擊的科普
01 引 言 隨著自動(dòng)駕駛技術(shù)的迅速發(fā)展，雷達(dá)和激光雷達(dá)等傳感器在自動(dòng)駕駛汽車中的作用愈發(fā)重要。它們....
鑒源實(shí)驗(yàn)室·加密技術(shù)在汽車系統(tǒng)中的應(yīng)用
隨著汽車技術(shù)的快速發(fā)展，現(xiàn)代汽車已經(jīng)不再是簡(jiǎn)單的交通工具，而是融合了多種智能功能的移動(dòng)終端。無論是自....
鑒源實(shí)驗(yàn)室·測(cè)試設(shè)計(jì)方法-因果圖
上篇文章（ISO 26262中測(cè)試用例的得出方法-邊界值分析）我們介紹了等價(jià)類方法和邊界值方法，這兩....
強(qiáng)制性國(guó)標(biāo)！上?？匕矃⒕帯镀囌囆畔踩夹g(shù)要求》正式發(fā)布
8月23日，上?？匕矃⒕幍摹禛B 44495-2024 汽車整車信息安全技術(shù)要求》正式發(fā)布，標(biāo)準(zhǔn)將于....
鑒源實(shí)驗(yàn)室·ISO 26262中測(cè)試用例的得出方法-邊界值分析
作者 | 李偉 上?？匕舶踩珳y(cè)評(píng)部總監(jiān) 來源 | ?鑒源實(shí)驗(yàn)室 上篇文章我們介紹了等價(jià)類的分析和生產(chǎn)....
鑒源實(shí)驗(yàn)室·ISO 26262中測(cè)試用例的得出方法-等價(jià)類的生成和分析
作者 | 李偉 上?？匕舶踩珳y(cè)評(píng)部總監(jiān) 來源 | ?鑒源實(shí)驗(yàn)室 社群 | 添加微信號(hào)“ TICPSh....
鑒源實(shí)驗(yàn)室·基于MQTT協(xié)議的模糊測(cè)試研究
作者 |? 張淵策?上?？匕部尚跑浖?chuàng)新研究院工控網(wǎng)絡(luò)安全組 來源 | ?鑒源實(shí)驗(yàn)室 社群 | ?添....
鑒源實(shí)驗(yàn)室·HTTP協(xié)議網(wǎng)絡(luò)安全攻擊
作者 | 李芷若?上?？匕部尚跑浖?chuàng)新研究院工控網(wǎng)絡(luò)安全組 來源 | ?鑒源實(shí)驗(yàn)室 社群 | ?添加....
鑒源論壇丨軌交軟件測(cè)試技術(shù)詳述
作者 |劉艷青 上?？匕舶踩珳y(cè)評(píng)部測(cè)試經(jīng)理 版塊 |鑒源論壇 · 觀通 社群 |添加微信號(hào)“TICP....
鑒源實(shí)驗(yàn)室丨汽車入侵檢測(cè)系統(tǒng)介紹及測(cè)試
作者 |張?jiān)t景 上?？匕部尚跑浖?chuàng)新研究院工控網(wǎng)絡(luò)安全組 來源 |鑒源實(shí)驗(yàn)室 社群 |添加微信號(hào)“T....
鑒源實(shí)驗(yàn)室丨智能網(wǎng)聯(lián)汽車協(xié)議模糊測(cè)試技術(shù)概述
作者 |?喬琪?上海控安可信軟件創(chuàng)新研究院工控網(wǎng)絡(luò)安全組 來源 |?鑒源實(shí)驗(yàn)室 社群 |?添加微信號(hào)....
鑒源實(shí)驗(yàn)室丨汽車數(shù)據(jù)安全標(biāo)準(zhǔn)現(xiàn)狀研究
隨著智能化和網(wǎng)聯(lián)化發(fā)展，汽車產(chǎn)生的數(shù)據(jù)和暴露的接口逐漸增多，數(shù)據(jù)安全事件頻發(fā)，如2019年，某汽車制....
鑒源實(shí)驗(yàn)室 | Web應(yīng)用程序常見漏洞淺析
在如今的數(shù)字化時(shí)代，Web應(yīng)用程序已經(jīng)滲透到我們生活的每個(gè)角落。從購(gòu)物平臺(tái)、社交媒體到企業(yè)級(jí)系統(tǒng)，無....
鑒源實(shí)驗(yàn)室｜自動(dòng)駕駛仿真測(cè)試技術(shù)分析
隨著科技的不斷發(fā)展，自動(dòng)駕駛技術(shù)逐漸成為汽車行業(yè)的熱門話題。然而，要將自動(dòng)駕駛車輛投放到真實(shí)道路上之....
