日本黄色一级经典视频|伊人久久精品视频|亚洲黄色色周成人视频九九九|av免费网址黄色小短片|黄色Av无码亚洲成年人|亚洲1区2区3区无码|真人黄片免费观看|无码一级小说欧美日免费三级|日韩中文字幕91在线看|精品久久久无码中文字幕边打电话

當(dāng)前位置:首頁 > 嵌入式 > 《嵌入式技術(shù)與智能系統(tǒng)》
[導(dǎo)讀]作為信息世界與物理世界的橋梁,嵌入式系統(tǒng)發(fā)展呈現(xiàn)出網(wǎng)絡(luò)化、智能化、協(xié)同化發(fā)展特征與趨勢,其安全、可信問題日益突出。首先分析、討論了面向嵌入式系統(tǒng)的安全、可信計(jì)算體系與技術(shù)。進(jìn)而,重點(diǎn)從國內(nèi)與國外、學(xué)術(shù)與技術(shù)、可信本體與計(jì)算架構(gòu)等多個(gè)維度,對增強(qiáng)、提升嵌入式系統(tǒng)安全、可信性的相關(guān)理論與技術(shù)進(jìn)展進(jìn)行了梳理、分析與對照。

1. 引言

如我們所知,嵌入式系統(tǒng)日益廣泛應(yīng)用于工業(yè)控制、智能家居、醫(yī)療設(shè)備、航空航天、智能交通等諸多領(lǐng)域。同時(shí),隨著與物聯(lián)網(wǎng)、人工智能等新興技術(shù)的快速融合,嵌入式系統(tǒng)應(yīng)用場景和規(guī)模不斷擴(kuò)大且日益呈現(xiàn)出突出的網(wǎng)絡(luò)化、智能化、分布化、復(fù)雜化發(fā)展趨勢,其安全性問題隨之而來也日益突出。鑒于嵌入式系統(tǒng)連接信息、物理/社會(huì)的跨域融合特性,一旦在信息域遭受攻擊或是計(jì)算系統(tǒng)出現(xiàn)故障,其信息域中產(chǎn)生的安全問題更會(huì)通過裝備(如車輛、電力等實(shí)體)傳遞、放大到物理世界,產(chǎn)生危及生命財(cái)產(chǎn)安全乃至國家社會(huì)穩(wěn)定的災(zāi)難性后果。

近年來,其已成為學(xué)術(shù)界和工業(yè)界關(guān)注的焦點(diǎn)[1]。據(jù)WISE統(tǒng)計(jì),2023年全球嵌入式安全市場規(guī)模為49.7億美元,預(yù)計(jì)到2032年將達(dá)到94億美元,2025~2032年的復(fù)合年增長率為7.32% [2]。根據(jù)QYResearch預(yù)測,2030年全球可信計(jì)算芯片市場銷售額預(yù)計(jì)將達(dá)到22.9億元,年復(fù)合增長率為5.2% (2024~2030) [3]。

2. 嵌入式系統(tǒng)可信體系分析

圖1所示為面向嵌入式系統(tǒng)的可信技術(shù)體系。該體系構(gòu)建了一個(gè)從底層硬件根基到上層應(yīng)用安全的垂直信任鏈條。其基礎(chǔ)始于最下層的可信根,該層內(nèi)置了加密引擎和白名單管理等核心安全功能;在此之上構(gòu)建可信硬件層,集成了量子安全引擎或PUF等物理級(jí)安全防護(hù)機(jī)制;向上延伸至虛擬化與分區(qū)隔離層,通過可信的虛擬機(jī)監(jiān)視器(VMM)啟動(dòng)和管理機(jī)制,確保不同計(jì)算環(huán)境之間的嚴(yán)格隔離;進(jìn)一步加固可信系統(tǒng)軟件層,包含安全的BootLoader引導(dǎo)程序等組件,為上層運(yùn)行提供可信軟件基礎(chǔ);最終抵達(dá)頂層的應(yīng)用安全層,實(shí)施如應(yīng)用白名單等機(jī)制,保障具體應(yīng)用程序的可信執(zhí)行。在整個(gè)可信技術(shù)體系中,可信開發(fā)部署工具涵蓋從可信根到軟件層面,提供安全的開發(fā)框架與工具鏈,確保所有組件在開發(fā)階段即內(nèi)嵌安全能力,并在部署時(shí)按預(yù)期運(yùn)行。可信升級(jí)依賴可信根存儲(chǔ)版本元數(shù)據(jù),并在升級(jí)后驗(yàn)證新組件的完整性,保障系統(tǒng)可持續(xù)演進(jìn),避免升級(jí)成為安全突破口。而可信啟動(dòng)則是自下而上逐步構(gòu)建的,可確保系統(tǒng)從啟動(dòng)伊始即處于已知可信狀態(tài),抵御Bootkit等底層攻擊??尚胚\(yùn)行是在系統(tǒng)啟動(dòng)完成后,通過技術(shù)手段保障系統(tǒng)在持續(xù)運(yùn)行過程中始終處于安全可信狀態(tài)的動(dòng)態(tài)防護(hù)機(jī)制。

基于TPM芯片內(nèi)置加密引擎實(shí)現(xiàn)關(guān)鍵數(shù)據(jù)加密防護(hù),通過系統(tǒng)/應(yīng)用軟件哈希值校驗(yàn)及權(quán)限管理機(jī)制,在啟動(dòng)或運(yùn)行前完成軟件完整性驗(yàn)證,例如操作系統(tǒng)內(nèi)核哈希比對機(jī)制,以此構(gòu)建計(jì)算環(huán)境初始信任源,確保僅合法未篡改軟件及操作被允許執(zhí)行,為系統(tǒng)可信運(yùn)行奠定基礎(chǔ)[4] [5]??尚庞布柚孔用荑€分發(fā)與PUF安全引擎,前者實(shí)現(xiàn)通信加密,后者通過設(shè)備唯一身份識(shí)別抵御物理層攻擊與仿冒,同時(shí)依托手機(jī)啟動(dòng)時(shí)系統(tǒng)鏡像驗(yàn)證等安全引導(dǎo)機(jī)制,保障硬件啟動(dòng)過程中加載軟件的完整性,有效解決硬件層面加密通信、身份認(rèn)證及啟動(dòng)安全問題,提升物理層抗攻擊能力。虛擬化與分區(qū)隔離通過VMware ESXi等VMM可信啟動(dòng)機(jī)制,完成虛擬機(jī)監(jiān)控程序完整性驗(yàn)證以保障啟動(dòng)安全,并實(shí)施云計(jì)算平臺(tái)租戶虛擬機(jī)資源隔離等可信管理措施,阻斷惡意攻擊與數(shù)據(jù)泄露的跨虛擬機(jī)傳播路徑,在多業(yè)務(wù)多用戶場景下實(shí)現(xiàn)資源隔離與環(huán)境可信,確保虛擬化實(shí)體的獨(dú)立性與安全性??尚畔到y(tǒng)軟件層通過應(yīng)用分區(qū)技術(shù),實(shí)現(xiàn)功能模塊安全隔離以阻斷故障與攻擊擴(kuò)散鏈,同時(shí)依托安卓SELinux強(qiáng)制訪問控制等安全內(nèi)核機(jī)制,限制應(yīng)用對系統(tǒng)資源的越權(quán)訪問行為,全面強(qiáng)化應(yīng)用隔離與內(nèi)核安全,提升系統(tǒng)整體穩(wěn)定性與防御能力。應(yīng)用層安全體系采用企業(yè)MDM辦公APP白名單審核機(jī)制,從源頭限制非法應(yīng)用運(yùn)行,結(jié)合TLS加密交易數(shù)據(jù)傳輸?shù)劝踩ㄐ偶夹g(shù),構(gòu)建覆蓋訪問控制、通信安全與新興技術(shù)防御的立體防護(hù)網(wǎng),直接保障用戶業(yè)務(wù)操作的可信性與數(shù)據(jù)安全。

Figure 1. Architecture of trusted technology for embedded systems

1. 面向嵌入式系統(tǒng)的可信技術(shù)體系

以上策略為嵌入式系統(tǒng)安全提供了較為全面的保障,然而,現(xiàn)有的嵌入式系統(tǒng)安全解決方案仍面臨諸多挑戰(zhàn)。(1) 硬件安全機(jī)制雖然能夠提供底層保障,但在面對復(fù)雜的攻擊手段時(shí),仍存在被繞過的風(fēng)險(xiǎn)。(2) 軟件層面的安全措施如實(shí)時(shí)操作系統(tǒng)和微服務(wù)架構(gòu)雖然增強(qiáng)了系統(tǒng)的靈活性和可靠性,但其復(fù)雜性也帶來了新的安全漏洞和管理難度。(3) 工具鏈雖然在開發(fā)效率和代碼質(zhì)量方面發(fā)揮了重要作用,但在安全漏洞檢測和修復(fù)方面仍存在不足。(4) AI時(shí)代,復(fù)雜神經(jīng)網(wǎng)絡(luò)模型的不可解釋性為嵌入式設(shè)備帶來新的安全隱患,如代碼篡改難以追溯等。(5) 5G、邊緣計(jì)算等新興技術(shù)與嵌入式系統(tǒng)的融合,可能帶來新的安全需求,如終端設(shè)備數(shù)量與攻擊面的擴(kuò)大、數(shù)據(jù)隱私保護(hù)、邊緣計(jì)算中的數(shù)據(jù)完整性和一致性等等。為此,在可信3.0的基礎(chǔ)上,面向嵌入式系統(tǒng)日益呈現(xiàn)的云–邊–端協(xié)同形態(tài),進(jìn)一步融合多端協(xié)同、零信任和保密計(jì)算的新一代計(jì)算架構(gòu)進(jìn)化出新的可信4.0計(jì)算體系。其特質(zhì)在于,強(qiáng)調(diào)在多云–邊–端融合環(huán)境中,通過硬件隔離、持續(xù)認(rèn)證、動(dòng)態(tài)策略和去中心化信任等手段,實(shí)現(xiàn)跨域、全生命周期、分級(jí)漸進(jìn)的安全可信保障。

3. 國內(nèi)研究現(xiàn)狀

近年來,隨著相關(guān)政策、項(xiàng)目的不斷推進(jìn)落地,對國內(nèi)嵌入式系統(tǒng)安全發(fā)展起到了不可忽略的積極作用。由北京航空航天大學(xué)牽頭,聯(lián)合復(fù)旦大學(xué)、中山大學(xué)等多家單位協(xié)同攻關(guān),旨在突破國內(nèi)嵌入式智能計(jì)算軟件關(guān)鍵技術(shù),推動(dòng)國產(chǎn)化智能芯片軟件棧的持續(xù)完善,支持國產(chǎn)智能芯片生態(tài)建設(shè)[6]。由北京和利時(shí)系統(tǒng)工程有限公司、中國科學(xué)院沈陽自動(dòng)化研究所聯(lián)合承擔(dān)的國家“十二五”863計(jì)劃課題,針對工業(yè)測控系統(tǒng)的信息安全防護(hù)需求,突破可編程嵌入式電子設(shè)備開發(fā)與運(yùn)行階段的安全防護(hù)關(guān)鍵技術(shù)[7]。由華東師范大學(xué)牽頭,與中國航發(fā)商發(fā)、中航工業(yè)615所、航天五院502所等單位合作,開發(fā)高安全嵌入式控制軟件開發(fā)方法和支撐工具,成功應(yīng)用于航空發(fā)動(dòng)機(jī)控制軟件研制、機(jī)載航空電子系統(tǒng)研制以及“嫦娥五號(hào)”探測器軟件開發(fā)等重要任務(wù)[8]。此外,工業(yè)界也有一批嵌入式可信相關(guān)的軍用、民用產(chǎn)品落地。2024年華北工控研發(fā)的國產(chǎn)化可信嵌入式主板,集成系統(tǒng)級(jí)安全機(jī)制(密碼加速引擎、抗物理攻擊),適配統(tǒng)信UOS、銀河麒麟等國產(chǎn)操作系統(tǒng)亮相軍博會(huì)[9]。同年,國民技術(shù)研發(fā)并推出第四代可信計(jì)算芯片NS350系列,支持SM2/SM3/SM4國密算法,兼容TPM 2.0,通過商用密碼認(rèn)證,適用于工業(yè)計(jì)算和嵌入式系統(tǒng)[10]。

Figure 2. A trusted embedded platform developed by the authors’ team on a domestically-developed software-hardware stack

2. 作者團(tuán)隊(duì)基于國產(chǎn)軟硬件技術(shù)棧研制的可信嵌入式平臺(tái)

針對嵌入式設(shè)備的安全啟動(dòng)需求,Zhao等人[11]設(shè)計(jì)了一種輕量級(jí)的基于安全模塊的可信啟動(dòng)方法,通過在嵌入式設(shè)備啟動(dòng)前驗(yàn)證預(yù)設(shè)信息,確保設(shè)備按照預(yù)定方式啟動(dòng),并利用安全模塊對啟動(dòng)過程中的數(shù)據(jù)完整性進(jìn)行度量,從而實(shí)現(xiàn)可信嵌入式系統(tǒng)。為保證電力系統(tǒng)嵌入式裝置能夠安全可信啟動(dòng),張翔等人[12]提出了一種基于可信平臺(tái)控制模塊(TPCM)的輕量型可信啟動(dòng)方法。Liu等人[13]提出了一種將區(qū)塊鏈的鏈上信任擴(kuò)展到鏈下物理世界的框架,以可信疫苗追溯為例進(jìn)行了實(shí)現(xiàn),包含基于可信執(zhí)行環(huán)境(TEE)的可信環(huán)境監(jiān)測系統(tǒng)和一致性協(xié)議兩部分。Ma等人[14]從高可信嵌入式系統(tǒng)、人工智能嵌入式模型、智能芯片嵌入式操作系統(tǒng)三個(gè)方面展開,通過將區(qū)塊鏈共識(shí)機(jī)制與特定方法結(jié)合來提升系統(tǒng)性能,設(shè)計(jì)異構(gòu)計(jì)算平臺(tái)和混合嵌入式訓(xùn)練系統(tǒng),利用智能芯片增強(qiáng)功能并完成相關(guān)硬件設(shè)計(jì)。在基于量子計(jì)算的加密方法上,Yu等人[15]研究了部分可信中繼量子密鑰分發(fā)(QKD)網(wǎng)絡(luò)中的密鑰分發(fā)路由問題,提出了一種基于協(xié)作路由的秘密密鑰分發(fā)(SKP-CR)算法。Wang等人[16]提出一種面向無TPM嵌入式智能設(shè)備的可信啟動(dòng)模型,以解決此類設(shè)備的安全啟動(dòng)及系統(tǒng)執(zhí)行環(huán)境可信性問題。在航空航天領(lǐng)域,為了提升機(jī)載嵌入式計(jì)算機(jī)的安全防護(hù)能力,楊子怡等人[17]在將可信計(jì)算平臺(tái)引入到機(jī)載計(jì)算機(jī)的基礎(chǔ)上,設(shè)計(jì)并實(shí)現(xiàn)了基于機(jī)載嵌入式可信計(jì)算平臺(tái)的安全配置管理系統(tǒng)。Yang等人[18]提出基于區(qū)塊鏈的BC-UTSON機(jī)制,通過U-PBFT共識(shí)、BMWSL信任評(píng)估和TPDR可信路由技術(shù),構(gòu)建無人機(jī)群可信自組織網(wǎng)絡(luò)以抵御內(nèi)部惡意攻擊并提升安全性。此外,基于可信3.0思想,作者團(tuán)隊(duì)面向特種裝備可信需求,基于“自主可信根 + 龍芯 + 昆侖固件 + SylixOS”的全自主技術(shù)棧,研究并設(shè)計(jì)了一種基于雙芯片架構(gòu)的可信執(zhí)行環(huán)境,實(shí)現(xiàn)了可信啟動(dòng)、可信加載、可信運(yùn)行、可信升級(jí)等核心能力,如圖2所示。針對嵌入式系統(tǒng)混合部署與功能安全需求,何瑞琦等人[19]提出DHR-OS架構(gòu),在多核CPU上以Linux為主系統(tǒng)、動(dòng)態(tài)部署RTOS從系統(tǒng),利用OpenAMP實(shí)現(xiàn)通信及驅(qū)動(dòng)復(fù)用、RPC調(diào)用、中斷路由等協(xié)同機(jī)制;設(shè)計(jì)調(diào)度–分發(fā)–裁決一體的安全執(zhí)行機(jī)制,通過Linux池化RTOS核心、加權(quán)投票共識(shí)算法裁決任務(wù)結(jié)果。基于飛騰D2000的測試表明,該架構(gòu)在差模/多模攻擊下可靠性高,為嵌入式系統(tǒng)提供了兼具靈活性與抗攻擊性的新方案。吉晨等人[20]提出基于輕量級(jí)虛擬化環(huán)境的可信多級(jí)安全容器機(jī)制,劃分系統(tǒng)安全域并制定多級(jí)安全策略規(guī)則,通過形式化方法證明其安全性,利用聯(lián)合文件系統(tǒng)技術(shù)和以Docker為代表的容器技術(shù)說明技術(shù)可行性,從來源和運(yùn)行兩方面保證可信性,可改善傳統(tǒng)多級(jí)安全機(jī)制實(shí)用性差的問題。

4. 國外研究現(xiàn)狀

STMicroelectronics于2023年9月推出了一款新的安全微控制器,具備高級(jí)加密和認(rèn)證功能,可有效保護(hù)物聯(lián)網(wǎng)設(shè)備的安全[21]。一年后,該公司基于零信任安全模型,推出STM32L5系列MCU,支持安全啟動(dòng)、硬件加密,功耗低至33 nA [22]。Infineon Technologies AG在2023年2月推出了SECORA Connect產(chǎn)品組合,包含小型芯片,適用于多種嵌入式設(shè)備[23]。此外,英特爾的Gaudi 3 AI加速器、至強(qiáng)6處理器液冷方案、酷睿Ultra系列均支持硬件級(jí)隔離(鯤鵬TEE)、機(jī)密計(jì)算[24]。

Bognar等人[25]以SancusV和VRASED系統(tǒng)為例,討論了在嵌入式可信執(zhí)行架構(gòu)中,形式化方法證明的安全性與實(shí)際系統(tǒng)安全性之間的差距。Aaraj等人[26]研究了在資源受限的嵌入式系統(tǒng)中實(shí)現(xiàn)TPM的硬件/軟件協(xié)同設(shè)計(jì),提出了一種基于軟件的TPM (SW-TPM)實(shí)現(xiàn)方案,通過在嵌入式處理器上執(zhí)行受保護(hù)的代碼域來實(shí)現(xiàn)TPM功能。Fedorov等人[27]提出了一種基于隱藏軟件代理和隱寫術(shù)的方法,用于構(gòu)建可信環(huán)境并保護(hù)信息系統(tǒng)免受內(nèi)部攻擊。在醫(yī)療設(shè)備的嵌入式系統(tǒng)可信認(rèn)證方面,Gebreab等人[28]提出了一種基于非同質(zhì)化代幣(NFT)的解決方案,用于確保翻新醫(yī)療器械的可信追溯和認(rèn)證。該方案利用動(dòng)態(tài)可組合的NFT作為醫(yī)療器械及其翻新過程的數(shù)字表示,通過將替換部件和認(rèn)證文件嵌入到父子NFT層次結(jié)構(gòu)中,并通過動(dòng)態(tài)令牌的演變記錄翻新步驟,從而實(shí)現(xiàn)對翻新醫(yī)療器械的認(rèn)證、追蹤和所有權(quán)管理。在新一代量子計(jì)算方面,Trochatos等人[29]提出了一種量子計(jì)算機(jī)可信執(zhí)行環(huán)境(QC-TEE)的硬件架構(gòu),旨在保護(hù)用戶量子電路和數(shù)據(jù)免受誠實(shí)但好奇的云服務(wù)提供商的窺探。該架構(gòu)通過在用戶端軟件添加誘餌控制脈沖混淆真實(shí)量子門操作,在量子計(jì)算機(jī)端的稀釋制冷機(jī)內(nèi)使用簡單的RF開關(guān)衰減誘餌脈沖,并由硬件安全管理器控制開關(guān)。Phalak等人[30]提出兩種量子物理不可克隆函數(shù)(QuPUF),以解決嵌入式設(shè)備量子計(jì)算中基于云平臺(tái)的量子硬件安全與信任問題。面對AI時(shí)代對嵌入式系統(tǒng)安全沖擊,Seng等人[31]圍繞嵌入式智能(EI)展開全面研究,指出其在安全、隱私和信任方面存在顯著挑戰(zhàn),EI服務(wù)器加速器和邊緣設(shè)備在安全需求上可能存在差異。基于人工智能物聯(lián)網(wǎng)(AIoT)的概念,Alkhoori等人[32]討論了AI決策與物聯(lián)網(wǎng)設(shè)備結(jié)合的安全性挑戰(zhàn),被篡改的深度學(xué)習(xí)算法可能會(huì)操控AIoT的運(yùn)行,進(jìn)而威脅到整個(gè)系統(tǒng)的安全態(tài)勢。此外,由于設(shè)備間持續(xù)進(jìn)行通信和數(shù)據(jù)共享,保護(hù)這些信息免受泄露、篡改或中斷至關(guān)重要。Raja等人[33]提出Secured UAV模型,以UAV位置為輸入、借助集中控制器形成無線網(wǎng)狀網(wǎng)絡(luò),利用A*搜索算法實(shí)現(xiàn)高效通信,并運(yùn)用高級(jí)加密標(biāo)準(zhǔn)和Blowfish等加密技術(shù)及安全認(rèn)證機(jī)制,保障多無人機(jī)通信的可信性與安全性,有效應(yīng)對各類安全攻擊。Nawshin等人[34]提出DP-RFECV-FNN方法,將差分隱私與前饋神經(jīng)網(wǎng)絡(luò)結(jié)合,用于安卓惡意軟件檢測,遵循零信任安全模型對應(yīng)用嚴(yán)格驗(yàn)證,在保障用戶數(shù)據(jù)隱私的同時(shí)實(shí)現(xiàn)對已知和新型惡意軟件的準(zhǔn)確檢測。Holmes等人[35]提出了SEVeriFast,一種針對AMD SEV微虛擬機(jī)的新型引導(dǎo)方案,其通過引入最小引導(dǎo)驗(yàn)證器、利用內(nèi)核壓縮減少測量開銷、優(yōu)化預(yù)加密等方式,在保證通過硬件強(qiáng)制信任根建立信任、借助測量直接啟動(dòng)和遠(yuǎn)程認(rèn)證確保VM初始化完整性的前提下,將SEV VM冷啟動(dòng)性能提升86%~93%。

5. 國內(nèi)外研究現(xiàn)狀對比

通過對國內(nèi)外研究現(xiàn)狀的系統(tǒng)性梳理可知,國內(nèi)研究以國家重大科技專項(xiàng)為牽引,聚焦自主可控技術(shù)體系構(gòu)建,重點(diǎn)開展國產(chǎn)操作系統(tǒng)與國密算法的適配應(yīng)用研究。在研究模式上,強(qiáng)調(diào)高校與軍工、航天等單位的產(chǎn)學(xué)研協(xié)同,圍繞高安全等級(jí)嵌入式軟件開發(fā)、可信啟動(dòng)機(jī)制、雙芯片異構(gòu)架構(gòu)等關(guān)鍵技術(shù)展開攻關(guān),研究成果直接服務(wù)于國防安全與關(guān)鍵信息基礎(chǔ)設(shè)施建設(shè)。國外研究則呈現(xiàn)企業(yè)主導(dǎo)的技術(shù)創(chuàng)新特征,側(cè)重集成硬件級(jí)安全模塊的系統(tǒng)性解決方案研發(fā),致力于構(gòu)建零信任安全模型。其研究熱點(diǎn)集中于形式化方法驗(yàn)證、量子計(jì)算可信執(zhí)行環(huán)境架構(gòu)設(shè)計(jì)、區(qū)塊鏈技術(shù)與物聯(lián)網(wǎng)融合應(yīng)用等領(lǐng)域,注重技術(shù)創(chuàng)新與產(chǎn)業(yè)應(yīng)用的深度耦合。

綜合調(diào)研顯示,當(dāng)前國內(nèi)外研究均在量子安全技術(shù)體系、人工智能與嵌入式系統(tǒng)安全融合、硬件可信根技術(shù)以及零信任安全架構(gòu)等方向加速戰(zhàn)略布局,體現(xiàn)出技術(shù)交叉融合與場景化應(yīng)用的顯著趨勢。

6. 發(fā)展趨勢與展望

從國內(nèi)外研究動(dòng)態(tài)來看,嵌入式可信安全領(lǐng)域正呈現(xiàn)技術(shù)深度融合與場景化需求驅(qū)動(dòng)的發(fā)展趨勢。在技術(shù)層面,量子安全技術(shù)(如量子密鑰分發(fā)、量子可信執(zhí)行環(huán)境)與傳統(tǒng)可信計(jì)算體系加速融合,推動(dòng)國密算法體系向量子抗毀方向升級(jí);AI與區(qū)塊鏈技術(shù)賦能嵌入式可信架構(gòu),通過聯(lián)邦學(xué)習(xí)實(shí)現(xiàn)設(shè)備間安全協(xié)同與未知攻擊檢測,基于區(qū)塊鏈的鏈上鏈下信任傳遞機(jī)制(如可信疫苗追溯、無人機(jī)群自組織網(wǎng)絡(luò)認(rèn)證)逐步落地;硬件級(jí)可信根(國產(chǎn)可信計(jì)算芯片、集成安全模塊的MCU)與輕量級(jí)軟件可信鏈深度協(xié)同,結(jié)合形式化驗(yàn)證方法構(gòu)建資源受限環(huán)境下的全??尚艌?zhí)行環(huán)境,成為高安全嵌入式系統(tǒng)(如航空發(fā)動(dòng)機(jī)控制軟件、工業(yè)測控設(shè)備)的核心支撐。在應(yīng)用層面,邊緣計(jì)算與物聯(lián)網(wǎng)的泛在化催生輕量化可信認(rèn)證需求,無人機(jī)群、智能醫(yī)療設(shè)備等場景推動(dòng)分布式信任架構(gòu)研發(fā);國防軍工、航天裝備領(lǐng)域則加速自主可控可信技術(shù)棧的生態(tài)構(gòu)建,聚焦異構(gòu)架構(gòu)、可信啟動(dòng)機(jī)制等關(guān)鍵技術(shù)的工程化應(yīng)用。

展望未來,嵌入式可信安全研究一方面需突破國產(chǎn)軟硬件協(xié)同優(yōu)化瓶頸,建立從芯片級(jí)可信根到應(yīng)用級(jí)可信開發(fā)部署工具的全流程體系,完善適應(yīng)高安全場景的可信技術(shù)標(biāo)準(zhǔn);在另一方面,針對量子計(jì)算威脅、資源受限設(shè)備安全效率平衡等挑戰(zhàn),需加強(qiáng)跨學(xué)科交叉創(chuàng)新,推動(dòng)零信任模型與動(dòng)態(tài)信任評(píng)估技術(shù)的輕量化改造,構(gòu)建覆蓋設(shè)備啟動(dòng)、運(yùn)行、交互全生命周期的嵌入式可信安全體系,為國防安全、關(guān)鍵基礎(chǔ)設(shè)施等領(lǐng)域提供堅(jiān)實(shí)的可信保障。

參考文獻(xiàn)

[1] 趙波, 倪明濤, 石源, 等. 嵌入式系統(tǒng)安全綜述[J]. 武漢大學(xué)學(xué)報(bào)(理學(xué)版), 2018, 64(2): 95-108.
[2] WISE GUY. 全球嵌入式安全市場研究報(bào)告[EB/OL].
[3] QYResearch. 可信計(jì)算芯片行業(yè)總體規(guī)模、市場占有率排名報(bào)告2025 [EB/OL].
Morris, T. (2024) Trusted Platform Module. In: Jajodia, S., Samarati, P. and Yung, M., Eds., Encyclopedia of CryptographySecurity and Privacy, Springer, 1-5. [Google Scholar] [CrossRef] 
[5] Perez, R., Sailer, R. and van Doorn, L. (2006) vTPM: Virtualizing the Trusted Platform Module. Proceedings of the 15th conference on USENIX Security Symposium, San Jose, 31 July-4 August 2006, 305-320.
[6] 北京航空航天大學(xué). 北航牽頭的國家重點(diǎn)研發(fā)計(jì)劃“高安全強(qiáng)實(shí)時(shí)嵌入式智能軟件系統(tǒng)”項(xiàng)目啟動(dòng)暨實(shí)施方案論證會(huì)順利召開[EB/OL].
[7] 中國科學(xué)院沈陽自動(dòng)化研究所. 國家863課題“可編程嵌入式電子設(shè)備安全防護(hù)技術(shù)”通過技術(shù)驗(yàn)收[EB/OL].
[8] 華東師大軟件工程學(xué)院. 喜報(bào)! 華東師大牽頭研發(fā)項(xiàng)目獲上海市技術(shù)發(fā)明一等獎(jiǎng)保障關(guān)鍵設(shè)備安全可信[EB/OL].
[9] 深圳華北工控股份有限公司. 第十屆中國(北京)軍事智能技術(shù)裝備博覽[EB/OL].
[10] Nations加油站. 國民技術(shù)第四代可信計(jì)算芯片NS350正式投入量產(chǎn)[EB/OL].
[11] Zhao, H., Xu, C. and Zhou, F. (2021) Research on Embedded Startup Method of Trusted Module. 2021 IEEE 5th Information TechnologyNetworkingElectronic and Automation Control Conference (ITNEC), Xi’an, 15-17 October 2021, 953-957. [Google Scholar] [CrossRef] 
[12] 張翔, 王元強(qiáng), 聶云杰, 等. TPCM的輕量型安全可信啟動(dòng)方法[J]. 單片機(jī)與嵌入式系統(tǒng)應(yīng)用, 2023, 23(6): 36-39, 44.
[13] Liu, C., Guo, H., Xu, M., Wang, S., Yu, D., Yu, J., et al. (2022) Extending On-Chain Trust to Off-Chain—Trustworthy Blockchain Data Collection Using Trusted Execution Environment (TEE). IEEE Transactions on Computers, 71, 3268-3280. [Google Scholar] [CrossRef] 
[14] Ma, Q. (2022) Design of High-Confidence Embedded Operating System Based on Artificial Intelligence and Smart Chips. 2022 Second International Conference on Artificial Intelligence and Smart Energy (ICAIS), Coimbatore, 23-25 February 2022, 58-62. [Google Scholar] [CrossRef] 
[15] Yu, X., Liu, Y., Zou, X., Cao, Y., Zhao, Y., Nag, A., et al. (2022) Secret-Key Provisioning with Collaborative Routing in Partially-Trusted-Relay-Based Quantum-Key-Distribution-Secured Optical Networks. Journal of Lightwave Technology, 40, 3530-3545. [Google Scholar] [CrossRef] 
[16] Wang, R. and Yan, Y. (2022) A Novel Trusted Boot Model for Embedded Smart Device without TPM. 2022 24th International Conference on Advanced Communication Technology (ICACT), PyeongChang Kwangwoon Do, 13-16 February 2022, 228-233. [Google Scholar] [CrossRef] 
[17] 楊子怡, 李亞暉, 王中華, 等. 基于機(jī)載嵌入式可信計(jì)算平臺(tái)的安全配置管理系統(tǒng)[J]. 航空計(jì)算技術(shù), 2023, 53(2): 123-126.
[18] Yang, J., Liu, X., Jiang, X., Zhang, Y., Chen, S. and He, H. (2023) Toward Trusted Unmanned Aerial Vehicle Swarm Networks: A Blockchain-Based Approach. IEEE Vehicular Technology Magazine, 18, 98-108. [Google Scholar] [CrossRef] 
[19] 何瑞琦, 張凱龍, 吳金飛, 等. 基于多核異構(gòu)操作系統(tǒng)的動(dòng)態(tài)冗余可靠機(jī)制研究[J]. 計(jì)算機(jī)科學(xué), 2025, 52(4): 33-39.
[20] 吉晨, 石勇, 戴明, 等. 基于輕量級(jí)虛擬化環(huán)境的可信多級(jí)安全容器機(jī)制[J]. 計(jì)算機(jī)應(yīng)用研究, 2017, 34(6): 1770-1773.
[21] Marketsandmarkets. (2023) Embedded Security Market Size & Trends.
[22] STMicroelectronics (2025) STM32L5 Series.
[23] Business & Financial Press (2023) Infineon’s SECORA? Connect Can Make Anything a Wallet; New Technologies Will Make Contactless Payment Easier in the Future.
[24] Intel (2025) Intel Newsroom: Corporate.
[25] Bognar, M., Van Bulck, J. and Piessens, F. (2022) Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures. 2022 IEEE Symposium on Security and Privacy (SP), San Francisco, 22-26 May 2022, 1638-1655. [Google Scholar] [CrossRef] 
[26] Aaraj, N., Raghunathan, A. and Jha, N.K. (2008) Analysis and Design of a Hardware/Software Trusted Platform Module for Embedded Systems. ACM Transactions on Embedded Computing Systems, 8, 1-31. [Google Scholar] [CrossRef] 
[27] Fedorov, V.K., Balenko, E.G., Shterenberg, S.I. and Krasov, A.V. (2021) Development of a Method for Building a Trusted Environment by Using Hidden Software Agent Steganography. Journal of PhysicsConference Series, 2096, Article ID: 012047. [Google Scholar] [CrossRef] 
[28] Gebreab, S.A., Salah, K., Jayaraman, R. and Zemerly, J. (2023) Trusted Traceability and Certification of Refurbished Medical Devices Using Dynamic Composable NFTs. IEEE Access, 11, 30373-30389. [Google Scholar] [CrossRef] 
[29] Trochatos, T,. Xu, C., Deshpande, S., et al. (2023) Hardware Architecture for a Quantum Computer Trusted Execution Environment. arXiv: 2308.03897.
[30] Phalak, K., Saki, A.A., Alam, M., Topaloglu, R.O. and Ghosh, S. (2021) Quantum PUF for Security and Trust in Quantum Computing. IEEE Journal on Emerging and Selected Topics in Circuits and Systems, 11, 333-342. [Google Scholar] [CrossRef] 
[31] Seng, K.P. and Ang, L. (2022) Embedded Intelligence: State-Of-The-Art and Research Challenges. IEEE Access, 10, 59236-59258. [Google Scholar] [CrossRef] 
[32] Alkhoori, A., Alkhoori, A., Alkhoori, A. and Ahmed, O. (2024) Security and Reliability Concerns of AI on Critical Embedded Systems. In: Rasheed, J., Abu-Mahfouz, A.M. and Fahim, M., Eds., Forthcoming Networks and Sustainability in the AIoT Era, Springer, 32-45. [Google Scholar] [CrossRef] 
[33] Raja, G., Anbalagan, S., Ganapathisubramaniyan, A., Selvakumar, M.S., Bashir, A.K. and Mumtaz, S. (2021) Efficient and Secured Swarm Pattern Multi-UAV Communication. IEEE Transactions on Vehicular Technology, 70, 7050-7058. [Google Scholar] [CrossRef] 
[34] Nawshin, F., Unal, D., Hammoudeh, M. and Suganthan, P.N. (2024) AI-Powered Malware Detection with Differential Privacy for Zero Trust Security in Internet of Things Networks. Ad Hoc Networks, 161, Article ID: 103523. [Google Scholar] [CrossRef] 
[35] Holmes, B., Waterman, J. and Williams, D. (2024) SEVeriFast: Minimizing the Root of Trust for Fast Startup of SEV MicroVMs. Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating SystemsVolume 2, La Jolla, 27 April-1 May 2024, 1045-1060. [Google Scholar] [CrossRef] 
本站聲明: 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點(diǎn),本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請及時(shí)聯(lián)系本站刪除( 郵箱:macysun@21ic.com )。
換一批
延伸閱讀

特朗普集團(tuán)近日取消了其新推出的T1智能手機(jī)“將在美國制造”的宣傳標(biāo)語,此舉源于外界對這款手機(jī)能否以當(dāng)前定價(jià)在美國本土生產(chǎn)的質(zhì)疑。

關(guān)鍵字: 特朗普 蘋果 AI

美國總統(tǒng)特朗普在公開場合表示,他已要求蘋果公司CEO蒂姆·庫克停止在印度建廠,矛頭直指該公司生產(chǎn)多元化的計(jì)劃。

關(guān)鍵字: 特朗普 蘋果 AI

4月10日消息,據(jù)媒體報(bào)道,美國總統(tǒng)特朗普宣布,美國對部分貿(mào)易伙伴暫停90天執(zhí)行新關(guān)稅政策,同時(shí)對中國的關(guān)稅提高到125%,該消息公布后蘋果股價(jià)飆升了15%。這次反彈使蘋果市值增加了4000多億美元,目前蘋果市值接近3萬...

關(guān)鍵字: 特朗普 AI 人工智能 特斯拉

3月25日消息,據(jù)報(bào)道,當(dāng)?shù)貢r(shí)間3月20日,美國總統(tǒng)特朗普在社交媒體平臺(tái)“真實(shí)社交”上發(fā)文寫道:“那些被抓到破壞特斯拉的人,將有很大可能被判入獄長達(dá)20年,這包括資助(破壞特斯拉汽車)者,我們正在尋找你?!?/p> 關(guān)鍵字: 特朗普 AI 人工智能 特斯拉

1月22日消息,剛剛,新任美國總統(tǒng)特朗普放出重磅消息,將全力支持美國AI發(fā)展。

關(guān)鍵字: 特朗普 AI 人工智能

特朗普先生有兩件事一定會(huì)載入史冊,一個(gè)是筑墻,一個(gè)是挖坑。在美墨邊境筑墻的口號(hào)確保邊境安全,降低因非法移民引起的犯罪率過高問題;在中美科技產(chǎn)業(yè)之間挖坑的口號(hào)也是安全,美國企業(yè)不得使用對美國國家安全構(gòu)成威脅的電信設(shè)備,總統(tǒng)...

關(guān)鍵字: 特朗普 孤立主義 科技產(chǎn)業(yè)

據(jù)路透社1月17日消息顯示,知情人士透露,特朗普已通知英特爾、鎧俠在內(nèi)的幾家華為供應(yīng)商,將要撤銷其對華為的出貨的部分許可證,同時(shí)將拒絕其他數(shù)十個(gè)向華為供貨的申請。據(jù)透露,共有4家公司的8份許可被撤銷。另外,相關(guān)公司收到撤...

關(guān)鍵字: 華為 芯片 特朗普

曾在2018年時(shí)被美國總統(tǒng)特朗普稱作“世界第八奇跡”的富士康集團(tuán)在美國威斯康星州投資建設(shè)的LCD顯示屏工廠項(xiàng)目,如今卻因?yàn)楦皇靠祵㈨?xiàng)目大幅縮水并拒絕簽訂新的合同而陷入了僵局。這也導(dǎo)致富士康無法從當(dāng)?shù)卣抢铽@得約40億美...

關(guān)鍵字: 特朗普 富士康

今年5月,因自己發(fā)布的推文被貼上“無確鑿依據(jù)”標(biāo)簽而與推特發(fā)生激烈爭執(zhí)后,美國總統(tǒng)特朗普簽署了一項(xiàng)行政令,下令要求重審《通信規(guī)范法》第230條。

關(guān)鍵字: 谷歌 facebook 特朗普

眾所周知,寄往白宮的所有郵件在到達(dá)白宮之前都會(huì)在他地進(jìn)行分類和篩選。9月19日,根據(jù)美國相關(guān)執(zhí)法官員的通報(bào),本周早些時(shí)候,執(zhí)法人員截獲了一個(gè)寄給特朗普總統(tǒng)的包裹,該包裹內(nèi)包含蓖麻毒蛋白。

關(guān)鍵字: 美國 白宮 特朗普
關(guān)閉