• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    基于龍芯處理器的嵌入式可信解決方案

    2018-05-25 08:50:49平,莊
    計算機技術(shù)與發(fā)展 2018年5期
    關(guān)鍵詞:內(nèi)核度量嵌入式

    易 平,莊 毅

    (南京航空航天大學(xué) 計算機科學(xué)與技術(shù)學(xué)院,江蘇 南京 211106)

    0 引 言

    隨著嵌入式系統(tǒng)功能的日益強大,嵌入式系統(tǒng)已廣泛應(yīng)用于航空航天、國防電子等諸多安全關(guān)鍵領(lǐng)域中。而我國在包括CPU芯片的核心芯片和基礎(chǔ)軟件方面主要依賴國外產(chǎn)品,這給嵌入式系統(tǒng)在國防領(lǐng)域的應(yīng)用帶來了諸多安全隱患和限制。近幾年來,隨著國產(chǎn)化處理器在嵌入式領(lǐng)域的成功應(yīng)用,針對國產(chǎn)化平臺的安全控制機制的研究越來越重要。

    傳統(tǒng)的嵌入式設(shè)計較少考慮系統(tǒng)安全的問題,這是由于嵌入式系統(tǒng)的硬件和軟件都是固化的,而隨著嵌入式系統(tǒng)在國防軍事領(lǐng)域的廣泛應(yīng)用,對嵌入式硬件的可靠性、應(yīng)用軟件和操作系統(tǒng)的健壯性提出了更高、更全面的要求。目前破壞嵌入式系統(tǒng)安全的攻擊技術(shù)主要分為三類:硬件攻擊、軟件攻擊和物理攻擊[1]。其中針對硬件系統(tǒng)的攻擊通常是通過內(nèi)核工具集完成的,包括讀寫主板和外圍設(shè)備的BIOS(basic input output system)中存儲器的內(nèi)容,并進行病毒的注入。最早的硬件病毒就是出現(xiàn)在主板上BIOS的存儲器中,設(shè)想當(dāng)硬件病毒注入了一個使用嵌入式實時操作系統(tǒng)的防空雷達的flash ROM,那么該硬件病毒就擁有了訪問系統(tǒng)總線的權(quán)限,可以過濾掉指定類型的事件信號數(shù)據(jù),致使雷達不能檢測到攻擊者的攻擊。軟件是嵌入式系統(tǒng)乃至計算機系統(tǒng)安全問題的最主要來源,針對個人計算機的防御方式如防火墻、入侵檢測系統(tǒng)等可部分借鑒,但是在研究嵌入式系統(tǒng)安全機制時應(yīng)充分結(jié)合嵌入式系統(tǒng)的設(shè)計特點,從嵌入式系統(tǒng)的硬件和軟件的底層采取安全措施,從體系結(jié)構(gòu)上提高終端安全性,降低系統(tǒng)的安全風(fēng)險[2]??尚庞嬎憬M織(trusted computing group,TCG)提出可信計算的概念并將其應(yīng)用到PC平臺,受此啟發(fā),國內(nèi)外研究工作者將可信計算技術(shù)引入到嵌入式領(lǐng)域,需從硬件架構(gòu)、操作系統(tǒng)安全和應(yīng)用程序多維度采取一定措施,確保整個系統(tǒng)的安全。

    在研究TCG相關(guān)規(guī)范的基礎(chǔ)上,針對嵌入式安全關(guān)鍵系統(tǒng)存在的諸多問題,提出一種基于虛擬技術(shù)的嵌入式平臺可信解決方案,深入對體系結(jié)構(gòu)、信任根設(shè)計、信任鏈傳遞模型的研究,設(shè)計并實現(xiàn)嵌入式可信計算平臺。

    1 相關(guān)研究

    可信計算方面的顯著貢獻來自TCG,其定義可信計算的基本思想是:在計算機系統(tǒng)中構(gòu)建一個信任根,信任根作為可信第三方最先獲得系統(tǒng)的控制權(quán),并在啟動運行過程中把這種信任擴展到整個計算機系統(tǒng),從而確保整個系統(tǒng)環(huán)境的可信性[3]。

    TCG給出的可信計算定義中,可信環(huán)境是建立在信任根的基礎(chǔ)上,同時也是可信啟動的基石。信任根通常由第三方片上系統(tǒng)可信平臺模塊(trusted platform module,TPM)承擔(dān)。TPM是符合TCG規(guī)范的一個小型片上系統(tǒng)??尚庞嬎闩c傳統(tǒng)的基于USB密鑰、智能卡等安全系統(tǒng)不同,TCG規(guī)范中將TPM通過總線直接與被關(guān)心的軟硬件組件相連接,嵌于計算平臺內(nèi)部的安全子系統(tǒng),與計算平臺直接物理連接,是確定的一對一的關(guān)系??山鉀Q傳統(tǒng)方法易受攻擊等安全隱患,提高系統(tǒng)的安全性。根據(jù)采用處理器芯片的數(shù)量可以分為兩類:一類是多芯片架構(gòu),另一類是單芯片架構(gòu)[4]。

    TCG給出的可信計算框架即屬于多芯片架構(gòu)[5]。針對移動平臺,TCG給出了移動平臺參考架構(gòu)、移動可信計算模塊規(guī)范等系列規(guī)范。武漢大學(xué)張煥國教授等[4]通過在原有TPM基礎(chǔ)上增加總線仲裁模塊、對稱密碼引擎和備份恢復(fù)模塊,設(shè)計了一款嵌入式可信平臺模塊[6](embedded TPM,ETPM)。德國的AISEC研究所基于耦合AHB接口的leon3開源軟核處理器(SPARC V8指令集),使其中一個處理器作為應(yīng)用處理器,另一個作為“安全”的協(xié)處理器,將應(yīng)用處理器與只讀存儲器引導(dǎo)合成為度量的靜態(tài)根。以上兩種方法保障了信任根的安全性,但是增加了終端的硬件成本、系統(tǒng)功耗和設(shè)計難度。

    單芯片架構(gòu)是指將可信模塊相關(guān)功能集成到主處理器內(nèi)部。相關(guān)研究成果有:ARM公司的TrustZone技術(shù)[7]、美國麻省理工學(xué)院的安全處理器技術(shù)AEGIS[8]、美國斯坦福大學(xué)的XOM(execute only memory)技術(shù)[9]。ARM公司提出的TrustZone技術(shù)[10]將安全功能內(nèi)置入處理器內(nèi)部,可以有效保護內(nèi)存、加密塊、鍵盤和屏幕等外設(shè),確保它們免遭軟件攻擊,但其僅適用于ARM系列處理器。AEGIS是MIT計算機與人工智能實驗室設(shè)計的一個單芯片架構(gòu)的安全處理器。TrustZone通過增強CPU架構(gòu)和內(nèi)存子系統(tǒng)的硬件設(shè)計,引入安全區(qū)的概念[11],增加一個S位,以指明當(dāng)前系統(tǒng)所處的安全狀態(tài)。而目前針對單芯片架構(gòu)的研究都是基于特定處理器,不具普適性。

    目前國內(nèi)使用的國產(chǎn)處理器的嵌入式系統(tǒng)主要集中在軍用領(lǐng)域,其對軟硬件可靠性及系統(tǒng)的性能有著更加嚴(yán)格的要求。在此基礎(chǔ)上結(jié)合可信計算技術(shù)研究嵌入式系統(tǒng)的安全問題,需從硬件架構(gòu)、操作系統(tǒng)安全和應(yīng)用程序多維度采取一定措施,確保整個系統(tǒng)的安全[2]。

    2 嵌入式可信計算平臺框架結(jié)構(gòu)

    虛擬技術(shù)是通過單個硬件模擬多個同類設(shè)備的復(fù)用技術(shù)。該技術(shù)的核心實現(xiàn)是“虛擬機”,目的在于提高設(shè)備利用率、降低能耗并支持多個操作系統(tǒng)或應(yīng)用程序的并行執(zhí)行,而虛擬機管理程序?qū)⑻摂M機與主機分離。從系統(tǒng)安全的角度思考,虛擬技術(shù)可為操作系統(tǒng)或應(yīng)用程序提供運行時的隔離機制,有效防止外界對系統(tǒng)或程序的侵?jǐn)_[3]。

    將可信計算技術(shù)與虛擬技術(shù)相結(jié)合,有利于充分發(fā)揮它們的技術(shù)優(yōu)勢,從而構(gòu)建出安全執(zhí)行環(huán)境的重要技術(shù)途徑[12]:可信計算技術(shù)可以在系統(tǒng)啟動時建立信任鏈,提供安全存儲和完整性存儲報告功能,而虛擬技術(shù)可以在系統(tǒng)啟動運行時將需要保護的系統(tǒng)組件進行隔離保護,細(xì)化了可信環(huán)境的保護粒度,增強了可信環(huán)境的動態(tài)性和可擴展性??梢哉f虛擬技術(shù)彌補了現(xiàn)有可信技術(shù)體系中尚未滿足可信計算理念的一些不足。TCG提出了通用的虛擬平臺可信架構(gòu)[13]:硬件層的安全芯片為VMM(virtual machine manager)層提供可信支持,VMM層利用其內(nèi)部的虛擬平臺管理器(vPlatform manager)為上層的每個虛擬機都提供一個虛擬可信平臺模塊。劍橋大學(xué)的研究人員提出了基于XEN的虛擬化可信平臺構(gòu)建方案[14],該方案基于硬件TPM為VMM層提供可信計算服務(wù),通過實例化vTPM為上層的多個虛擬機構(gòu)建可信計算環(huán)境。后來很多國內(nèi)外學(xué)者基于該架構(gòu)進行了較為深入的研究。

    文中基于虛擬技術(shù)的分層內(nèi)核架構(gòu)設(shè)計的嵌入式可信計算環(huán)境結(jié)構(gòu)如圖1所示。

    圖1 嵌入式可信計算平臺框架

    該框架的信任根CRTM由可信引導(dǎo)程序(trusted-bootloader,TBL)及可信內(nèi)核TK(trusted kernel,TK)組成。系統(tǒng)上電啟動后,TBL作為第一個啟動實體,然后逐步構(gòu)建一個可信的啟動信任鏈:CRTM→User Kernel。

    文中對bootloader進行了改造,使其具備完整性度量功能,改造后的bootloader稱為可信引導(dǎo)程序。TK是一個內(nèi)嵌vTPM的精簡操作系統(tǒng),具備存儲器管理、中斷管理、I/O管理、進程管理等功能。vTPM是一個采用軟件實現(xiàn)TPM功能的模擬器,實現(xiàn)TPM的必備功能,vTPM主要包含:I/O接口、執(zhí)行部件、密鑰生成器、HMAC引擎、選項部件、非易失存儲器、電源檢測、隨機數(shù)產(chǎn)生器、SHA-1引擎、密碼協(xié)處理器、易失存儲器部分。TPM通過可信軟件協(xié)議棧(TCG software stack,TSS)為可信計算平臺上的應(yīng)用程序提供完整性度量、存儲和報告,密鑰管理,數(shù)據(jù)保護和遠(yuǎn)程證明4大核心功能。用戶內(nèi)核(user kernel,UK)是經(jīng)過設(shè)計裁剪的嵌入式操作系統(tǒng),運行在虛擬機上。

    2.1 信任根設(shè)計

    在TCG的可信計算平臺中,可信度量根是系統(tǒng)啟動時首先最先執(zhí)行的一段代碼,可信存儲根是可信平臺模塊芯片組中的一組平臺配置寄存器(platform configuration register,PCR)。龍芯處理器是中國科學(xué)院計算技術(shù)研究所研制的一款兼容MIPS指令系統(tǒng)的高性能低功耗處理器,采用PMON作為引導(dǎo)加載程序。PMON是一款基于MIPS體系結(jié)構(gòu)的引導(dǎo)加載程序,存儲在引導(dǎo)FLASH中。文中基于龍芯處理器架構(gòu),設(shè)計了嵌入式平臺的可信度量根。

    將PMON啟動過程分為三個階段:

    第一階段是匯編代碼部分(start.S),在NOR FLASH中運行。此階段主要完成處理器運行環(huán)境配置、cache及存儲控制器的初始化、南北橋的部分信號的初始化等。隨后將PMON的二進制文件拷至內(nèi)存,設(shè)置相關(guān)堆棧,解壓后跳轉(zhuǎn)到第二階段C代碼部分繼續(xù)執(zhí)行。

    第二階段是C代碼部分(tgt_machdep.c),在內(nèi)存中運行。主要完成環(huán)境變量和基本數(shù)據(jù)結(jié)構(gòu)的初始化、PCI總線掃描和設(shè)備初始化,顯卡初始化、網(wǎng)絡(luò)協(xié)議和設(shè)備初始化等。

    第三階段仍在內(nèi)存中執(zhí)行,完成從FLASH加載內(nèi)核文件至內(nèi)存并執(zhí)行,此時將系統(tǒng)的控制權(quán)交給操作系統(tǒng)。

    在充分利用嵌入式軟硬件資源的基礎(chǔ)上,對PMON進行改造,增加安全散列算法(SHA-1)引擎。該算法以任意長度小于264位的消息或者文件作為輸入,迭代計算輸出長度為160位元的消息摘要值。當(dāng)再次接收到此消息時,通過重新計算消息的摘要值并與已存儲的摘要進行比較,可以度量接收到消息的完整性。安全散列算法簇根據(jù)計算輸出摘要長度分為SHA-1、SHA-256、SHA-384和SHA-512。

    由于TK是一個僅保留基礎(chǔ)功能的精簡操作系統(tǒng),經(jīng)編譯鏈接生成的二進制模塊容量較小,因此將引導(dǎo)FLASH劃分為兩部分,低地址部分存放TBL及TK的鏡像文件,高地址部分?jǐn)U充為平臺配置寄存器,用來存儲信任根的完整性度量值。這樣做的好處有:

    (1)操作系統(tǒng)的分層架構(gòu)增強了上層應(yīng)用對系統(tǒng)的訪問控制,而將可信內(nèi)核從內(nèi)存中分離出來符合隔離性原則,通過虛擬機安全機制將操作系統(tǒng)從用戶空間中隔離出來,保護其免遭惡意應(yīng)用的侵入和篡改,保證了其完整性。

    (2)內(nèi)存執(zhí)行環(huán)境配置完成后,對TBL、TK兩個模塊的鏡像文件進行聯(lián)合度量,將度量值進行擴展后存入平臺配置寄存器中,不僅減少了讀寫引導(dǎo)FLASH中PCR的次數(shù),同時避免兩次度量操作,縮短了系統(tǒng)啟動時間,減少了可信啟動對系統(tǒng)帶來的性能開銷。

    (3)縮短了信任鏈的長度(在下一小節(jié)給出詳細(xì)解釋)。

    系統(tǒng)轉(zhuǎn)入內(nèi)存執(zhí)行時,將PMON及TK的二進制文件拷至內(nèi)存后先進行完整性校驗,若校驗通過,則開始執(zhí)行PMON,系統(tǒng)正常啟動。若校驗未通過,則跳轉(zhuǎn)到PMON交互界面,并給出系統(tǒng)不可信提示并停止執(zhí)行。具體的可信啟動流程如圖2所示。

    圖2 可信引導(dǎo)流程

    2.2 用戶內(nèi)核設(shè)計

    用戶內(nèi)核是一個經(jīng)設(shè)計裁剪的嵌入式操作系統(tǒng),集成了vTPM設(shè)備驅(qū)動TDD(TPM device driver,TDD)及可信軟件棧。TDD讀取TCG設(shè)備驅(qū)動庫(TCG device driver library,TDDL)上的字節(jié)流信息發(fā)送給vTPM,并接收反饋信息給TDDL。TSS為上層應(yīng)用提供調(diào)用vTPM的接口函數(shù),實現(xiàn)對vTPM的訪問,同時對vTPM進行統(tǒng)一對象管理、密鑰管理、證書管理等。此外,TSS還提供了位于用戶模式的應(yīng)用程序訪問vTPM的標(biāo)準(zhǔn)接口TDDL。

    用戶內(nèi)核架構(gòu)如圖3所示。

    圖3 用戶內(nèi)核架構(gòu)

    2.3 信任鏈傳遞模型

    信任鏈以文中設(shè)計的信任根為起點,調(diào)用SHA-1算法對TBL及TK兩個模塊的內(nèi)容進行完整性校驗。通過對度量值進行擴展操作后,與存儲在FLASH的預(yù)期累計度量值進行比較,若兩者不一致,則校驗未通過并發(fā)出警告。校驗通過后,信任鏈傳遞至TK,系統(tǒng)控制權(quán)轉(zhuǎn)交給可信內(nèi)核,接著調(diào)用vTPM中的SHA-1引擎對用戶內(nèi)核的部分模塊進行度量,與存儲在vTPM的平臺配置寄存器中的結(jié)果進行比較。通過后完成UK的加載,信任邊界擴展到UK。最后,由UK負(fù)責(zé)度量每個待加載的應(yīng)用,將信任擴展到整個系統(tǒng)。

    文中設(shè)計的信任鏈的傳遞均由CPU承擔(dān),相較片上系統(tǒng)大大降低了系統(tǒng)啟動運行的時間。同時,鏈?zhǔn)絺鬟f模型的問題在于信任的逐級遞減[3],將TBL與TK模塊采取聯(lián)合度量的方式縮短了信任鏈的長度。可信內(nèi)核獲得系統(tǒng)控制權(quán)后同時初始化vTPM模塊,信任鏈傳遞過程中無需額外硬件。保證了從固件FLASH到內(nèi)核的每一個部件的完整性,即完成了整個啟動過程完整的信任傳遞。

    3 實驗結(jié)果與分析

    實驗環(huán)境搭建的硬件平臺是基于龍芯3A-2000處理器的嵌入式開發(fā)平臺;軟件平臺以嵌入式Linux操作系統(tǒng)及Qemu虛擬機為基礎(chǔ)搭建。龍芯3A2000是一個配置為單節(jié)點4核的處理器,采用65 nm工藝制造,最高工作主頻為1 GHz,片內(nèi)集成4 MB的分體共享二級Cache?;谏鲜鰧嶒炂脚_對可信度量根和可信引導(dǎo)策略的功能和性能進行驗證和結(jié)果分析。

    固件存儲于一片16MKB的NorFLASH芯片,其中0x0F00_0000~0x0FFF_FFFF為固件保留的16M地址空間,低地址部分用于存放PMON及TK的二進制鏡像及相關(guān)的環(huán)境變量(配置數(shù)據(jù)),高地址部分用于模擬TPM中的平臺配置寄存器,存儲由PMON及TK構(gòu)成的信任根的SHA-1散列值。

    TK是經(jīng)剪裁的Linux-2.6.36內(nèi)核,嵌入TPM模擬器,二者編譯成一個二進制鏡像??尚艃?nèi)核啟動后將加載一個Qemu虛擬機,為UK內(nèi)核的虛擬運行平臺,UK采用內(nèi)嵌可信協(xié)議棧TrouSerS的Linux操作系統(tǒng)。

    系統(tǒng)的可信啟動實驗結(jié)果如圖4所示,表示當(dāng)引導(dǎo)加載程序及可信內(nèi)核成功加載時的度量結(jié)果,可查看FLASH中擴展信任根聯(lián)合度量PMON和TK二進制文件的度量值,見圖中PCR00標(biāo)志位中的結(jié)果為“82884131f17ea4e37bfcb04c0ca9f35349c909”。

    圖4 引導(dǎo)加載程序及可信內(nèi)核聯(lián)合度量結(jié)果

    改寫可信內(nèi)核模塊并燒入FLASH,此時系統(tǒng)處于不可信狀態(tài)。重新啟動系統(tǒng),加載度量引導(dǎo)加載程序及可信內(nèi)核時停止執(zhí)行并給出警示,圖5顯示信任根度量結(jié)果,并提示PCR擴展操作失敗。

    圖5 非可信內(nèi)核聯(lián)合度量結(jié)果

    校驗通過后,系統(tǒng)同時度量并加載用戶內(nèi)核,利用TPM Manager工具查看vTPM中存儲度量后的摘要值,如圖6所示。其中PCR的1號寄存器中存儲的是用戶內(nèi)核的摘要值。同時嵌入在可信內(nèi)核中的vTPM可為上層系統(tǒng)提供對稱/非對稱加密、安全存儲和簽名認(rèn)證等功能[15]。

    圖6 用戶內(nèi)核度量結(jié)果

    經(jīng)測試,該方案在現(xiàn)有的硬件和軟件資源的嵌入式應(yīng)用中無需額外的硬件,并且適用于基于PMON的MIPS架構(gòu)的嵌入式可信計算解決方案,在此基礎(chǔ)上做些簡單的移植工作即可。通過實驗驗證了所構(gòu)建的嵌入式可信平臺功能的完整性,實驗結(jié)果達到了預(yù)期的效果。

    4 結(jié)束語

    文中設(shè)計實現(xiàn)了一種基于龍芯處理器的嵌入式可信計算平臺,采用國產(chǎn)龍芯處理器等核心硬件,解決了后門隱患問題。基于分層內(nèi)核架構(gòu),將經(jīng)改造和裁剪的bootloader及可信內(nèi)核作為信任根,采用聯(lián)合度量方式對bootloader及可信內(nèi)核進行完整性校驗,能夠主動對BIOS、操作系統(tǒng)內(nèi)核進行完整性度量。該方法無需增加額外的硬件,確保啟動實體的完整性和來源的真實性,為應(yīng)用程序搭建可信的執(zhí)行環(huán)境。后續(xù)研究工作將從完整性度量方法著手,考慮更加科學(xué)的內(nèi)核度量方法并減少可信啟動過程中帶給系統(tǒng)的性能開銷。

    參考文獻:

    [1] 王中波.基于軟硬件協(xié)同技術(shù)的嵌入式平臺的可信性研究[D].濟南:山東大學(xué),2013.

    [2] 張煥國,趙 波.可信計算[M].武漢:武漢大學(xué)出版社,2011.

    [3] 沈昌祥,張煥國,王懷民,等.可信計算的研究與發(fā)展[J].中國科學(xué):信息科學(xué),2010(2):139-166.

    [4] 張煥國,李 晶,潘丹鈴,等.嵌入式系統(tǒng)可信平臺模塊研究[J].計算機研究與發(fā)展,2011,48(7):1269-1278.

    [5] 陳建勛,侯方勇,李 磊.可信計算研究[J].計算機技術(shù)與發(fā)展,2010,20(9):1-4.

    [6] Inter. Trusted execution technology software development guide[EB/OL].2016.http://www.intel.com/content/www/us/en/software-developers/intel-txt-software-development-guide.html.

    [7] ALVES T,FELTON D.TrustZone:integrated hardware and software security (enabling trusted computing in embedded systems)[J].Information Quarterly,2004,3(4):18-24.

    [8] SUH G E,O’DONNELL C W,DEVADAS S.AEGIS:A single-chip secure processor[J].Information Security Technical Report,2005,10(2):63-73.

    [9] CHHABRA S,YAN S,LAL R,et al.An analysis of secure processor architectures[M]//Transactions on computational science VII.Berlin:Springer,2010:101-121.

    [10] KONG X,CHEN Y,CHEN X.A method to construct dual-kernel trusted computing environment on embedded system[J].International Journal of Security & Its Applications,2014,8(5):265-276.

    [11] ZHAO B,ZHANG H,LI Z.A trusted start-up based on embedded system[C]//Ninth IEEE international conference on computer and information technology.Washington DC,USA:IEEE Computer Society,2009:242-246.

    [12] 馮登國.可信計算理論與實踐:第一屆中國可信計算理論與實踐學(xué)術(shù)會議論文集[C].北京:清華大學(xué)出版社,2009.

    [13] SANGSTER P,WILSON L.Virtualized trusted platform architecture specification version 1.0,revision 26[EB/OL].2012.https://trustedcomputinggroup.org/Virtualized-trusted-platform-architecture-specification/.

    [14] BERGER S,CACERES R,GOLDMAN K,et al.Security for the cloud infrastructure:trusted virtual data center implementation[J].IBM Journal of Research & Development,2009,53(4):560-571.

    [15] GUO J,LI B.Research on credible start-up and I/O access control of embedded Linux based on trusted computing[C]//International conference on mechatronics and automation.[s.l.]:[s.n.],2011:2338-2342.

    猜你喜歡
    內(nèi)核度量嵌入式
    有趣的度量
    萬物皆可IP的時代,我們當(dāng)夯實的IP內(nèi)核是什么?
    模糊度量空間的強嵌入
    強化『高新』內(nèi)核 打造農(nóng)業(yè)『硅谷』
    迷向表示分為6個不可約直和的旗流形上不變愛因斯坦度量
    基于嵌入式Linux內(nèi)核的自恢復(fù)設(shè)計
    Linux內(nèi)核mmap保護機制研究
    搭建基于Qt的嵌入式開發(fā)平臺
    嵌入式軟PLC在電鍍生產(chǎn)流程控制系統(tǒng)中的應(yīng)用
    地質(zhì)異常的奇異性度量與隱伏源致礦異常識別
    国产 一区精品| 男人的好看免费观看在线视频| 十八禁国产超污无遮挡网站| 精品久久国产蜜桃| 亚洲中文字幕一区二区三区有码在线看| 日韩在线高清观看一区二区三区| 成人一区二区视频在线观看| 天天躁日日操中文字幕| 欧美日本亚洲视频在线播放| 性欧美人与动物交配| 国产精品嫩草影院av在线观看| 欧美xxxx黑人xx丫x性爽| 麻豆一二三区av精品| 中出人妻视频一区二区| 99久久精品国产国产毛片| 亚洲欧美日韩卡通动漫| 中文亚洲av片在线观看爽| 色哟哟·www| 亚洲欧美日韩无卡精品| 欧美日本亚洲视频在线播放| 色噜噜av男人的天堂激情| 国产精品人妻久久久影院| 成年女人永久免费观看视频| avwww免费| 尤物成人国产欧美一区二区三区| 禁无遮挡网站| 在线免费观看的www视频| 寂寞人妻少妇视频99o| 国产精品99久久久久久久久| 亚洲人成网站在线播放欧美日韩| 在线a可以看的网站| 精品无人区乱码1区二区| 亚洲一级一片aⅴ在线观看| 成人欧美大片| 在现免费观看毛片| 国产精品一及| 色在线成人网| 亚洲真实伦在线观看| 国产毛片a区久久久久| 亚洲精品色激情综合| 国内精品久久久久精免费| 亚洲图色成人| 午夜激情欧美在线| 色视频www国产| 亚洲av电影不卡..在线观看| 免费看美女性在线毛片视频| 亚洲国产精品sss在线观看| 特级一级黄色大片| 99热这里只有是精品50| 中文在线观看免费www的网站| 国产单亲对白刺激| 如何舔出高潮| 91在线观看av| 亚洲精品一区av在线观看| 久久国产乱子免费精品| 久久久午夜欧美精品| 精品福利观看| 国产色婷婷99| 午夜久久久久精精品| 日本三级黄在线观看| 免费黄网站久久成人精品| 亚洲欧美精品综合久久99| 午夜激情欧美在线| 亚洲国产精品成人久久小说 | 中文字幕熟女人妻在线| 无遮挡黄片免费观看| ponron亚洲| 天天一区二区日本电影三级| 蜜桃久久精品国产亚洲av| 99久国产av精品| 麻豆av噜噜一区二区三区| 国产亚洲欧美98| 美女 人体艺术 gogo| 又爽又黄无遮挡网站| 成人亚洲精品av一区二区| 天堂√8在线中文| 欧美又色又爽又黄视频| 久久久久久久亚洲中文字幕| 在线国产一区二区在线| 亚洲av中文av极速乱| av在线观看视频网站免费| 黄色配什么色好看| 国产成人a∨麻豆精品| 97超视频在线观看视频| 国产精品av视频在线免费观看| 国产精品日韩av在线免费观看| 亚洲va在线va天堂va国产| 国产精品一区www在线观看| 欧美最黄视频在线播放免费| 九九在线视频观看精品| 亚洲美女视频黄频| 乱人视频在线观看| 热99re8久久精品国产| 赤兔流量卡办理| 婷婷精品国产亚洲av| av在线蜜桃| 国产成人91sexporn| 国产精品精品国产色婷婷| 给我免费播放毛片高清在线观看| 在线看三级毛片| 亚洲不卡免费看| 18+在线观看网站| 婷婷亚洲欧美| 日日撸夜夜添| 一级毛片久久久久久久久女| 色视频www国产| 在线播放无遮挡| 寂寞人妻少妇视频99o| 日本精品一区二区三区蜜桃| 最近在线观看免费完整版| 亚洲丝袜综合中文字幕| 22中文网久久字幕| av视频在线观看入口| 别揉我奶头 嗯啊视频| 国语自产精品视频在线第100页| 久久精品久久久久久噜噜老黄 | 免费黄网站久久成人精品| 联通29元200g的流量卡| 联通29元200g的流量卡| 色综合亚洲欧美另类图片| 日本 av在线| 午夜久久久久精精品| 久久久久九九精品影院| 黄片wwwwww| 老熟妇乱子伦视频在线观看| 丰满的人妻完整版| 99久久精品一区二区三区| 特大巨黑吊av在线直播| 成人特级av手机在线观看| avwww免费| 国产精品国产三级国产av玫瑰| 国产精品久久久久久精品电影| 日韩中字成人| 亚洲国产高清在线一区二区三| 欧美最新免费一区二区三区| 日韩精品中文字幕看吧| 特级一级黄色大片| 欧美+日韩+精品| 国产色婷婷99| 欧美激情在线99| 天美传媒精品一区二区| 日韩强制内射视频| 中文字幕熟女人妻在线| а√天堂www在线а√下载| 国产一区二区激情短视频| 91午夜精品亚洲一区二区三区| 美女免费视频网站| 99在线人妻在线中文字幕| 一个人看视频在线观看www免费| 午夜免费激情av| 一a级毛片在线观看| 久久精品国产自在天天线| 亚洲美女视频黄频| 国产一区亚洲一区在线观看| 变态另类丝袜制服| 亚洲精品日韩av片在线观看| 亚洲成a人片在线一区二区| 色综合站精品国产| 日本免费一区二区三区高清不卡| 麻豆成人午夜福利视频| 国产单亲对白刺激| 99热这里只有是精品在线观看| 搡老岳熟女国产| 小说图片视频综合网站| 国产精品美女特级片免费视频播放器| 狠狠狠狠99中文字幕| 99热网站在线观看| 人人妻人人澡人人爽人人夜夜 | 在线天堂最新版资源| 国产av麻豆久久久久久久| 99热全是精品| 欧美激情在线99| 日韩欧美国产在线观看| 国产 一区精品| 亚洲在线观看片| 在线播放国产精品三级| 欧美另类亚洲清纯唯美| 最新在线观看一区二区三区| 夜夜夜夜夜久久久久| 国产亚洲精品综合一区在线观看| 免费在线观看影片大全网站| 国产真实乱freesex| 国产伦一二天堂av在线观看| 免费搜索国产男女视频| 久久午夜亚洲精品久久| 国产片特级美女逼逼视频| 国产精华一区二区三区| 免费观看的影片在线观看| 国产精品美女特级片免费视频播放器| 中文字幕av在线有码专区| 老熟妇仑乱视频hdxx| 精品乱码久久久久久99久播| 久久天躁狠狠躁夜夜2o2o| 国产精品久久电影中文字幕| 精品人妻一区二区三区麻豆 | 色播亚洲综合网| 午夜日韩欧美国产| 中文字幕av在线有码专区| 又爽又黄a免费视频| 亚洲精品456在线播放app| 老司机福利观看| 精品人妻熟女av久视频| 欧美在线一区亚洲| 国产精品三级大全| 成人永久免费在线观看视频| 久久精品夜色国产| 日韩精品中文字幕看吧| 色5月婷婷丁香| 老女人水多毛片| 国产高清三级在线| 尤物成人国产欧美一区二区三区| 国产黄色视频一区二区在线观看 | 成人亚洲欧美一区二区av| 又黄又爽又刺激的免费视频.| 在现免费观看毛片| 日本撒尿小便嘘嘘汇集6| 十八禁国产超污无遮挡网站| 中文字幕免费在线视频6| 91久久精品国产一区二区成人| 精品人妻视频免费看| 国产成人福利小说| 午夜老司机福利剧场| 日本一二三区视频观看| 欧美日韩乱码在线| 国产亚洲av嫩草精品影院| 我的女老师完整版在线观看| 国产精品,欧美在线| 婷婷精品国产亚洲av在线| 亚洲精品在线观看二区| 我的老师免费观看完整版| 人人妻,人人澡人人爽秒播| 亚洲人成网站在线播放欧美日韩| av黄色大香蕉| 亚洲欧美精品综合久久99| 国产精华一区二区三区| 国产淫片久久久久久久久| 欧美中文日本在线观看视频| 午夜久久久久精精品| 午夜视频国产福利| 网址你懂的国产日韩在线| 日本免费一区二区三区高清不卡| av天堂在线播放| 中文字幕免费在线视频6| 精品少妇黑人巨大在线播放 | 黑人高潮一二区| 国产黄色小视频在线观看| 精品一区二区免费观看| 亚洲欧美清纯卡通| 联通29元200g的流量卡| 国产91av在线免费观看| 91在线观看av| 午夜影院日韩av| 色播亚洲综合网| 韩国av在线不卡| 午夜视频国产福利| 亚洲国产精品sss在线观看| 美女黄网站色视频| 99国产精品一区二区蜜桃av| 日本免费a在线| 精品日产1卡2卡| 人人妻人人看人人澡| 自拍偷自拍亚洲精品老妇| 免费观看人在逋| 最后的刺客免费高清国语| 日韩 亚洲 欧美在线| 91麻豆精品激情在线观看国产| 变态另类丝袜制服| 噜噜噜噜噜久久久久久91| 男女视频在线观看网站免费| a级毛色黄片| 日本一本二区三区精品| 国产毛片a区久久久久| 小蜜桃在线观看免费完整版高清| 亚洲精品亚洲一区二区| 欧美一区二区亚洲| 国产精品伦人一区二区| 三级男女做爰猛烈吃奶摸视频| 亚洲乱码一区二区免费版| 美女内射精品一级片tv| 午夜精品一区二区三区免费看| 日产精品乱码卡一卡2卡三| 校园人妻丝袜中文字幕| 别揉我奶头~嗯~啊~动态视频| 51国产日韩欧美| 久久久欧美国产精品| 日韩av不卡免费在线播放| 黄色视频,在线免费观看| 色av中文字幕| 亚洲电影在线观看av| 久久精品综合一区二区三区| 亚洲av免费高清在线观看| 精品无人区乱码1区二区| 亚洲av中文字字幕乱码综合| 国产一区二区激情短视频| 我要搜黄色片| 免费观看的影片在线观看| 午夜精品在线福利| 女人被狂操c到高潮| 麻豆av噜噜一区二区三区| 91精品国产九色| 别揉我奶头 嗯啊视频| 国产av麻豆久久久久久久| 大香蕉久久网| 亚洲av中文av极速乱| 亚洲中文字幕一区二区三区有码在线看| 大香蕉久久网| 色噜噜av男人的天堂激情| 国产一区二区亚洲精品在线观看| av视频在线观看入口| 国产精品女同一区二区软件| 国产av不卡久久| 亚洲专区国产一区二区| 国产精品综合久久久久久久免费| 在线a可以看的网站| 变态另类成人亚洲欧美熟女| 此物有八面人人有两片| 日韩欧美一区二区三区在线观看| 3wmmmm亚洲av在线观看| 亚洲激情五月婷婷啪啪| 波野结衣二区三区在线| 中文字幕av成人在线电影| 高清日韩中文字幕在线| 最近中文字幕高清免费大全6| 嫩草影院入口| 晚上一个人看的免费电影| 国产精品av视频在线免费观看| 欧美性感艳星| 在现免费观看毛片| 国产麻豆成人av免费视频| 十八禁国产超污无遮挡网站| 99久久九九国产精品国产免费| 欧美+亚洲+日韩+国产| 国产亚洲91精品色在线| 99国产精品一区二区蜜桃av| 一级黄片播放器| 久久精品国产亚洲网站| 欧洲精品卡2卡3卡4卡5卡区| 午夜视频国产福利| av天堂中文字幕网| 中文字幕av成人在线电影| 亚洲欧美成人综合另类久久久 | 国产欧美日韩一区二区精品| 免费观看的影片在线观看| 久久久久久国产a免费观看| 国产欧美日韩精品亚洲av| 有码 亚洲区| 日韩中字成人| 国产精品av视频在线免费观看| 久久人人精品亚洲av| 日韩精品有码人妻一区| 精品乱码久久久久久99久播| 麻豆av噜噜一区二区三区| 欧美在线一区亚洲| 给我免费播放毛片高清在线观看| 国产成人a∨麻豆精品| 午夜免费激情av| 成年免费大片在线观看| 国产精华一区二区三区| 欧美性感艳星| 色播亚洲综合网| 亚洲性夜色夜夜综合| 99久久精品国产国产毛片| 日本三级黄在线观看| 精品一区二区三区视频在线| 91精品国产九色| 在线观看午夜福利视频| 国产精品爽爽va在线观看网站| 久久韩国三级中文字幕| a级毛片免费高清观看在线播放| 在线免费十八禁| 蜜桃久久精品国产亚洲av| 两个人视频免费观看高清| av在线天堂中文字幕| 亚洲av美国av| 国产高清视频在线观看网站| 插阴视频在线观看视频| 欧美成人一区二区免费高清观看| 成年免费大片在线观看| 欧美高清成人免费视频www| 91午夜精品亚洲一区二区三区| 18禁黄网站禁片免费观看直播| 中文字幕熟女人妻在线| 国产亚洲精品久久久com| 一a级毛片在线观看| 一a级毛片在线观看| 亚洲精品粉嫩美女一区| 性色avwww在线观看| 国产91av在线免费观看| 国产精品伦人一区二区| 亚洲精品影视一区二区三区av| 国产69精品久久久久777片| 天堂av国产一区二区熟女人妻| 成人性生交大片免费视频hd| 免费看日本二区| 麻豆国产av国片精品| 99热这里只有是精品在线观看| av在线亚洲专区| 精品国产三级普通话版| а√天堂www在线а√下载| 亚洲成a人片在线一区二区| 尾随美女入室| 国产高清视频在线播放一区| 国产不卡一卡二| 国国产精品蜜臀av免费| 亚洲成a人片在线一区二区| 人人妻人人看人人澡| 免费观看精品视频网站| 国内精品一区二区在线观看| 国产一区二区三区av在线 | 国产中年淑女户外野战色| 十八禁国产超污无遮挡网站| 国产精品一区二区性色av| 99热只有精品国产| 99riav亚洲国产免费| 精品99又大又爽又粗少妇毛片| 欧美人与善性xxx| 18禁黄网站禁片免费观看直播| 麻豆国产97在线/欧美| 春色校园在线视频观看| 99热这里只有是精品50| 国语自产精品视频在线第100页| 精品久久久久久久久亚洲| 久久6这里有精品| 男女视频在线观看网站免费| 欧美3d第一页| 欧美另类亚洲清纯唯美| 久久亚洲国产成人精品v| 国产 一区精品| 国产精品乱码一区二三区的特点| 色哟哟哟哟哟哟| 大型黄色视频在线免费观看| 九九久久精品国产亚洲av麻豆| 精品久久久久久久末码| 国产av一区在线观看免费| 日日摸夜夜添夜夜添av毛片| 久久精品久久久久久噜噜老黄 | 国产精品国产高清国产av| 精品人妻偷拍中文字幕| 一个人看视频在线观看www免费| 亚洲图色成人| 国产欧美日韩一区二区精品| 日本一本二区三区精品| 少妇人妻一区二区三区视频| 日产精品乱码卡一卡2卡三| 亚洲七黄色美女视频| 欧美极品一区二区三区四区| 国产精品一区二区性色av| 亚洲最大成人av| 男人狂女人下面高潮的视频| 在线播放无遮挡| 人人妻,人人澡人人爽秒播| 亚洲婷婷狠狠爱综合网| h日本视频在线播放| 欧美bdsm另类| 日日摸夜夜添夜夜爱| 免费观看精品视频网站| 精品人妻视频免费看| 久久久久久大精品| 成人欧美大片| 亚洲欧美精品自产自拍| 两个人视频免费观看高清| 国产精品电影一区二区三区| 男人舔女人下体高潮全视频| 国产一区二区亚洲精品在线观看| 一区二区三区四区激情视频 | 亚洲精华国产精华液的使用体验 | 成人av一区二区三区在线看| 亚洲精品粉嫩美女一区| 干丝袜人妻中文字幕| 夜夜看夜夜爽夜夜摸| 99国产精品一区二区蜜桃av| 联通29元200g的流量卡| 日本色播在线视频| 免费看av在线观看网站| 国产一级毛片七仙女欲春2| 校园人妻丝袜中文字幕| 国产色婷婷99| 一级a爱片免费观看的视频| 麻豆成人午夜福利视频| 九九在线视频观看精品| 舔av片在线| 久久精品国产亚洲av天美| 精品一区二区三区视频在线观看免费| 少妇的逼好多水| 国产精品久久久久久久久免| 色尼玛亚洲综合影院| 久久久欧美国产精品| 男女下面进入的视频免费午夜| 中国国产av一级| 久久草成人影院| 欧美日韩一区二区视频在线观看视频在线 | 少妇被粗大猛烈的视频| 日本黄色片子视频| 不卡一级毛片| 一级毛片久久久久久久久女| 成人永久免费在线观看视频| а√天堂www在线а√下载| 夜夜看夜夜爽夜夜摸| 精品欧美国产一区二区三| 欧美日本亚洲视频在线播放| 一级av片app| 亚洲一级一片aⅴ在线观看| 免费黄网站久久成人精品| 欧美日韩在线观看h| 欧美另类亚洲清纯唯美| 久久精品国产亚洲av香蕉五月| 免费人成在线观看视频色| 久久久久久久午夜电影| 天天一区二区日本电影三级| 男女之事视频高清在线观看| 国产极品精品免费视频能看的| 久久国内精品自在自线图片| 男女啪啪激烈高潮av片| 麻豆av噜噜一区二区三区| 菩萨蛮人人尽说江南好唐韦庄 | 精品一区二区免费观看| 精品一区二区三区av网在线观看| 国产黄a三级三级三级人| 老女人水多毛片| 舔av片在线| 天天一区二区日本电影三级| 国产精华一区二区三区| 国产爱豆传媒在线观看| 精品日产1卡2卡| 亚洲美女视频黄频| 国产69精品久久久久777片| 男人舔女人下体高潮全视频| 国产午夜精品论理片| а√天堂www在线а√下载| 国产一级毛片七仙女欲春2| 啦啦啦啦在线视频资源| 国内揄拍国产精品人妻在线| 成人欧美大片| 国产精品精品国产色婷婷| 国产老妇女一区| 亚洲精品久久国产高清桃花| 在线a可以看的网站| or卡值多少钱| 免费搜索国产男女视频| 人妻丰满熟妇av一区二区三区| 国产精品久久久久久精品电影| 蜜桃亚洲精品一区二区三区| 日日啪夜夜撸| 久久久久九九精品影院| 麻豆一二三区av精品| 日韩三级伦理在线观看| 国产视频内射| 日本免费一区二区三区高清不卡| 亚洲va在线va天堂va国产| 中文资源天堂在线| 午夜a级毛片| 国产中年淑女户外野战色| 精品一区二区三区人妻视频| 欧美成人一区二区免费高清观看| 国产老妇女一区| 嫩草影院入口| 免费看光身美女| 亚洲七黄色美女视频| 国产午夜精品论理片| 一个人免费在线观看电影| 在线观看免费视频日本深夜| 亚洲欧美日韩高清专用| 看非洲黑人一级黄片| 丝袜喷水一区| 久久综合国产亚洲精品| 国产精品1区2区在线观看.| 日韩av在线大香蕉| 男女啪啪激烈高潮av片| 国产片特级美女逼逼视频| 一区福利在线观看| 国产精品永久免费网站| av在线天堂中文字幕| 网址你懂的国产日韩在线| 热99re8久久精品国产| 国产精品福利在线免费观看| 日本三级黄在线观看| 精品久久久久久久久av| 中文资源天堂在线| 男人和女人高潮做爰伦理| 成年版毛片免费区| 久久久久性生活片| 一级a爱片免费观看的视频| 国产乱人偷精品视频| 我要搜黄色片| av在线亚洲专区| 亚洲欧美日韩高清专用| 22中文网久久字幕| 在现免费观看毛片| 国产三级中文精品| 欧美xxxx性猛交bbbb| 国产精品久久久久久久电影| 床上黄色一级片| 人妻丰满熟妇av一区二区三区| 男人舔女人下体高潮全视频| 国产v大片淫在线免费观看| 亚洲自拍偷在线| 国产精品一二三区在线看| 人妻夜夜爽99麻豆av| 中文字幕精品亚洲无线码一区| 人妻夜夜爽99麻豆av| 欧美成人a在线观看| 少妇高潮的动态图| 一区二区三区免费毛片| 一个人看视频在线观看www免费| 免费大片18禁| 伦精品一区二区三区| 91久久精品国产一区二区成人| 欧美不卡视频在线免费观看| 日本一二三区视频观看| 日韩一本色道免费dvd| 欧美丝袜亚洲另类| 美女大奶头视频| 国产伦精品一区二区三区四那| 97热精品久久久久久| 亚洲成人中文字幕在线播放|