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

    硬件安全測試基準(zhǔn)集及其管理體系的研究與評(píng)估

    2024-11-21 00:00:00關(guān)磊賴嚴(yán)杰馬文博
    專用汽車 2024年11期

    摘要:硬件安全作為網(wǎng)絡(luò)安全的關(guān)鍵部分,其安全性對(duì)整個(gè)系統(tǒng)至關(guān)重要。然而,由于硬件設(shè)備種類繁多、生命周期長,一旦出現(xiàn)問題修復(fù)成本極高,且目前硬件安全領(lǐng)域缺乏標(biāo)準(zhǔn)化測試方法,導(dǎo)致測試結(jié)果難以比較和驗(yàn)證。設(shè)計(jì)了一種基于Web技術(shù)的硬件安全測試基準(zhǔn)集管理系統(tǒng),利用Flask框架和關(guān)系型數(shù)據(jù)庫實(shí)現(xiàn)數(shù)據(jù)完整性和安全性,并通過Yosys工具對(duì)測試基準(zhǔn)集進(jìn)行綜合評(píng)估,以識(shí)別安全風(fēng)險(xiǎn)并優(yōu)化硬件設(shè)計(jì),為硬件安全領(lǐng)域的標(biāo)準(zhǔn)化和進(jìn)步提供支持。

    關(guān)鍵詞:硬件安全;基準(zhǔn)集;Web應(yīng)用;數(shù)據(jù)庫;測試向量

    中圖分類號(hào):U467.5 收稿日期:2024-07-25

    DOI:10.19999/j.cnki.1004-0226.2024.11.019

    1 前言

    隨著互聯(lián)網(wǎng)的普及和科技的快速發(fā)展,網(wǎng)絡(luò)安全問題日益嚴(yán)峻,尤其是硬件安全問題,它直接關(guān)系到整個(gè)系統(tǒng)的安全性。硬件安全不僅涉及確保計(jì)算設(shè)備的物理部件不存在漏洞,還涉及防護(hù)未經(jīng)授權(quán)的訪問和物理篡改。鑒于硬件設(shè)備的多樣性和長生命周期,一旦出現(xiàn)安全問題,修復(fù)成本極高。目前,硬件安全領(lǐng)域缺乏標(biāo)準(zhǔn)化的測試方法,導(dǎo)致測試結(jié)果難以比較和驗(yàn)證。本文通過設(shè)計(jì)一種測試集管理系統(tǒng),實(shí)現(xiàn)硬件安全測試基準(zhǔn)集的數(shù)據(jù)庫管理。在此基礎(chǔ)上,通過對(duì)Trust-Hub和Cryptographic Hardware Project中的測試基準(zhǔn)集進(jìn)行綜合結(jié)果分析,提供了硬件安全性能評(píng)估和優(yōu)化的有效方法,還為硬件安全研究提供了數(shù)據(jù)支持和分析視角。

    本文首先深入分析探討硬件安全測試基準(zhǔn)集的設(shè)計(jì)內(nèi)容;其次詳細(xì)介紹測試集管理系統(tǒng)的體系架構(gòu)設(shè)計(jì),從數(shù)據(jù)庫管理需求分析出發(fā),設(shè)計(jì)測試基準(zhǔn)集數(shù)據(jù)庫,并討論后端框架與模塊化設(shè)計(jì);再次則通過利用數(shù)據(jù)庫中的測試基準(zhǔn)集,使用開源工具Yosys進(jìn)行綜合,進(jìn)行了實(shí)驗(yàn)評(píng)估;最后對(duì)本文工作進(jìn)行了總結(jié)回顧,對(duì)未來工作內(nèi)容進(jìn)行了展望。通過這些章節(jié)的深入研究,旨在為硬件安全領(lǐng)域提供標(biāo)準(zhǔn)化的測試工具和方法,推動(dòng)該領(lǐng)域的技術(shù)進(jìn)步和創(chuàng)新。

    2 硬件安全測試基準(zhǔn)集研究

    2.1 木馬測試基準(zhǔn)集

    硬件木馬(Hardware Trojan,HT)檢測技術(shù)是確保集成電路(Integrated Circuits,ICs)安全性的重要手段。隨著半導(dǎo)體技術(shù)的發(fā)展和全球化的制造流程,硬件木馬的威脅日益嚴(yán)重。硬件木馬是惡意植入電路中的隱蔽組件,可能在特定條件下激活,導(dǎo)致數(shù)據(jù)泄露、系統(tǒng)失效或永久性損壞。下面從測信道分析、門及特性評(píng)估、形式化驗(yàn)證三個(gè)方面對(duì)硬件木馬檢測技術(shù)進(jìn)行詳細(xì)介紹。

    側(cè)信道分析(Side-Channel Analysis,SCA)是一種通過分析電路的物理側(cè)效應(yīng)來檢測硬件木馬的方法。這種方法考慮了木馬電路對(duì)功耗、時(shí)序、熱量、面積、輻射等的影響。例如,在文獻(xiàn)[1]中,提出了一種基于路徑延遲測量的高效硬件木馬檢測方法,該方法能夠在最壞工藝變化下實(shí)現(xiàn)99%的木馬檢測準(zhǔn)確率,精度達(dá)到0.001 ns。該方法不需要激活木馬,也不需要增加電路開銷,能夠有效分析所有易受木馬攻擊的路徑。

    門級(jí)特性評(píng)估(Gate-Level Netlist Analysis)是通過分析門級(jí)網(wǎng)表的特性來檢測硬件木馬的方法。這種方法側(cè)重于分析木馬對(duì)電路結(jié)構(gòu)特性的影響。例如在文獻(xiàn)[2]中,提出了一種數(shù)據(jù)增強(qiáng)方法,通過用邏輯等價(jià)的門替換硬件木馬電路中的門來增強(qiáng)機(jī)器學(xué)習(xí)基礎(chǔ)的硬件木馬檢測。實(shí)驗(yàn)結(jié)果表明,該方法成功地提高了所有分類器的真正例率。

    形式化驗(yàn)證(Formal Verification)是一種通過數(shù)學(xué)方法來證明硬件設(shè)計(jì)滿足預(yù)定安全屬性的技術(shù)。這種方法可以在設(shè)計(jì)階段就檢測出潛在的硬件木馬,而不需要等到硅后階段。文獻(xiàn)[3]提出了一種基于屬性的形式化安全驗(yàn)證方法,用于硬件木馬檢測。該方法在Coq定理證明環(huán)境中形式化了細(xì)粒度的門級(jí)信息流模型,以證明硬件設(shè)計(jì)的安全性屬性。與現(xiàn)有的寄存器傳輸級(jí)(RTL)信息流安全模型相比,該模型只需要將少量邏輯原語轉(zhuǎn)換為其形式化表示,無需支持豐富的RTL HDL語義或處理復(fù)雜的條件分支或循環(huán)結(jié)構(gòu)。實(shí)驗(yàn)結(jié)果表明,該方法能夠有效地檢測并定位木馬。

    2.2 密碼核測試基準(zhǔn)集

    DES(Data Encryption Standard)是一種對(duì)稱密鑰加密算法,由美國國家標(biāo)準(zhǔn)與技術(shù)研究院(NIST)于1977年發(fā)布。它基于56位密鑰長度,并通過16輪的Feistel網(wǎng)絡(luò)來加密和解密數(shù)據(jù)。DES的密鑰生成過程包括密鑰生成和密鑰調(diào)度,其中密鑰生成過程將64位的密鑰轉(zhuǎn)換為16個(gè)48位的子密鑰,每個(gè)子密鑰用于Feistel網(wǎng)絡(luò)的一輪。DES的加密過程包括初始置換、16輪的Feistel網(wǎng)絡(luò)、最終置換。在每一輪中,數(shù)據(jù)塊被分為左右兩部分,左半部分與子密鑰進(jìn)行異或操作,然后通過S盒和置換操作進(jìn)行變換,最后與右半部分進(jìn)行異或。解密過程與加密過程類似,但子密鑰的使用順序是反向的。DES在加密和解密過程中使用初始置換(IP)和最終置換(FP),這些置換表用于重新排列數(shù)據(jù)塊,增加算法的復(fù)雜性。同時(shí),DES使用8個(gè)S盒,每個(gè)S盒是一個(gè)4×16的查找表,用于非線性變換,增強(qiáng)密碼系統(tǒng)的安全性。由于其密鑰長度較短,DES容易受到暴力破解攻擊。DES存在一些已知的弱點(diǎn),如S盒的線性和非線性特性,以及差分攻擊和線性攻擊。因此,由于安全性的考慮,DES已經(jīng)被更安全的算法如AES(Advanced Encryption Standard)所替代。

    AES密碼核的功能要求是支持?jǐn)?shù)據(jù)的加密和解密,同時(shí)需要滿足特定的性能指標(biāo),包括處理速度、功耗和資源占用。AES支持128位、192位和256位的密鑰長度,這為不同安全級(jí)別的需求提供了靈活性。加密過程包括密鑰擴(kuò)展、輪密鑰加、字節(jié)代換、行移位和列混淆等步驟,而解密過程則是這些步驟的逆向執(zhí)行。AES算法的密鑰擴(kuò)展是加密過程的起點(diǎn),它將原始密鑰轉(zhuǎn)換成一系列輪密鑰,這些輪密鑰在后續(xù)的加密輪中使用。引入一個(gè)初始化向量(IV)與原始數(shù)據(jù)的第一個(gè)塊結(jié)合,以防止相同的明文數(shù)據(jù)塊產(chǎn)生相同的密文塊。加密過程開始,它由多個(gè)輪組成,輪數(shù)取決于密鑰的長度。在每一輪中,首先執(zhí)行的是加輪密鑰操作,即將當(dāng)前數(shù)據(jù)塊與當(dāng)前輪密鑰進(jìn)行異或操作。緊接著,進(jìn)行字節(jié)代換,對(duì)每個(gè)字節(jié)應(yīng)用一個(gè)非線性變換,通常是S盒。之后,行移位操作對(duì)數(shù)據(jù)塊的行進(jìn)行移位,不同的行移動(dòng)的字節(jié)數(shù)不同。最后,列混淆操作對(duì)數(shù)據(jù)塊的每個(gè)列進(jìn)行線性變換,增加了混淆性。在經(jīng)過所有預(yù)定輪次的處理之后,最后一輪省略了列混淆步驟,只執(zhí)行加輪密鑰、字節(jié)代換和行移位。這樣經(jīng)過所有輪的處理,得到的最終數(shù)據(jù)塊即為加密后的密文。解密過程與加密過程相似,但輪密鑰的應(yīng)用順序相反,并且使用逆向的字節(jié)代換和逆向的列混淆。在解密的每一輪中,首先執(zhí)行逆向加輪密鑰操作,然后是逆向字節(jié)代換,接著是逆向行移位,最后是逆向列混淆。解密的最后一輪只包括逆向加輪密鑰、逆向字節(jié)代換和逆向行移位。

    2.3 硬件安全測試基準(zhǔn)電路

    硬件測試基準(zhǔn)電路是評(píng)估硬件設(shè)計(jì)和測試方法的重要工具,它們分為組合邏輯和時(shí)序邏輯兩大類。組合邏輯基準(zhǔn)電路,如加法器和比較器,其特點(diǎn)是輸出僅依賴于當(dāng)前的輸入值,而時(shí)序邏輯基準(zhǔn)電路,例如觸發(fā)器和計(jì)數(shù)器,則包含存儲(chǔ)元素,其輸出不僅取決于當(dāng)前輸入,還與歷史狀態(tài)有關(guān)。在設(shè)計(jì)和實(shí)現(xiàn)方面,組合邏輯的設(shè)計(jì)重點(diǎn)在于優(yōu)化邏輯表達(dá)式和減少邏輯層次,以提升速度和減少占用面積。而時(shí)序邏輯設(shè)計(jì)則需重點(diǎn)考慮時(shí)鐘管理和同步問題,確保數(shù)據(jù)在時(shí)鐘邊沿能被正確捕獲。測試方法上,組合邏輯測試側(cè)重于確保所有可能的輸入組合都被測試到,以覆蓋所有邏輯路徑;相對(duì)地,時(shí)序邏輯測試則側(cè)重于驗(yàn)證時(shí)鐘管理和狀態(tài)轉(zhuǎn)換的正確性。

    故障模型方面,組合邏輯的故障類型包括短路、開路和邏輯錯(cuò)誤等,通過使用基于故障的測試向量可以檢測這些故障。時(shí)序邏輯的故障類型則涵蓋時(shí)鐘偏差和建立時(shí)間/保持時(shí)間違規(guī)等問題,需要通過時(shí)序測試向量和狀態(tài)遷移分析來檢測。在性能指標(biāo)上,組合邏輯的性能主要通過延遲和速度來衡量,而時(shí)序邏輯的性能則側(cè)重于時(shí)鐘頻率以及建立時(shí)間和保持時(shí)間。在仿真和驗(yàn)證環(huán)節(jié),組合邏輯仿真主要檢查邏輯功能的正確性,而時(shí)序邏輯仿真則關(guān)注時(shí)序行為和時(shí)鐘管理[4]。

    硬件實(shí)現(xiàn)時(shí),組合邏輯通常使用標(biāo)準(zhǔn)單元工藝實(shí)現(xiàn),重點(diǎn)在于優(yōu)化布局和布線以減少延遲;時(shí)序邏輯實(shí)現(xiàn)則需要考慮時(shí)鐘分配和時(shí)鐘樹設(shè)計(jì),確保時(shí)序要求得到滿足。在應(yīng)用領(lǐng)域,組合邏輯廣泛應(yīng)用于處理器的算術(shù)邏輯單元和數(shù)據(jù)路徑,而時(shí)序邏輯則用于存儲(chǔ)器接口、微處理器的控制單元和數(shù)字信號(hào)處理等[5]。

    2.4 小結(jié)

    本章深入分析了硬件安全測試基準(zhǔn)集的關(guān)鍵技術(shù),涵蓋了從硬件木馬的檢測技術(shù),如側(cè)信道分析、門級(jí)特性評(píng)估和形式化驗(yàn)證,到密碼核測試基準(zhǔn)集的DES和AES算法的安全40c5832104da1f4fc697bebf2844218d性分析。這些技術(shù)不僅提高了集成電路的安全性,還確保了設(shè)計(jì)階段的安全性驗(yàn)證。此外,硬件測試基準(zhǔn)電路的設(shè)計(jì)和測試方法,包括組合邏輯和時(shí)序邏輯的優(yōu)化、故障模型分析以及性能指標(biāo)考量,都是確保硬件設(shè)計(jì)可靠性和安全性的關(guān)鍵環(huán)節(jié)。

    3 測試基準(zhǔn)集管理系統(tǒng)體系架構(gòu)

    3.1 數(shù)據(jù)庫管理需求分析

    制定Web數(shù)據(jù)庫管理框架是本課題的一個(gè)關(guān)鍵研究目標(biāo),旨在通過Web技術(shù)提高硬件安全測試基準(zhǔn)集的可訪問性、交互性和管理效率。以下是該目標(biāo)的詳細(xì)內(nèi)容:a.用戶登錄系統(tǒng);b.在用戶登錄或進(jìn)行敏感操作時(shí),提供安全提示;c.數(shù)據(jù)庫連接;d.數(shù)據(jù)展示;e.用戶交互進(jìn)行操作;f.文件瀏覽、上傳與下載。

    3.2 數(shù)據(jù)表結(jié)構(gòu)及字段說明

    userinfo表:用于存儲(chǔ)用戶數(shù)據(jù),即用戶名和用戶密碼,在用戶登錄該管理系統(tǒng)時(shí)進(jìn)行調(diào)用驗(yàn)證。

    database_table表:這個(gè)表可以被視為一種“數(shù)據(jù)表關(guān)聯(lián)表”。它的作用是將數(shù)據(jù)庫名和表名進(jìn)行映射,從而建立它們之間的關(guān)系。該表用于多數(shù)據(jù)庫環(huán)境中,用來追蹤和關(guān)聯(lián)各個(gè)數(shù)據(jù)庫中的表。這些記錄表明了不同數(shù)據(jù)庫與其內(nèi)部表的對(duì)應(yīng)關(guān)系。例如,記錄('epfldata','arithmetic benchmarks')表示'epfldata'數(shù)據(jù)庫中有一個(gè)名為'arithmetic benchmarks'的表。這樣的映射對(duì)于數(shù)據(jù)庫管理系統(tǒng)來說非常有用,因?yàn)樗峁┝艘环N集中的方式來查看和管理數(shù)據(jù)庫和表之間的關(guān)系,尤其是在大型系統(tǒng)中,可能有多個(gè)數(shù)據(jù)庫和大量表存在時(shí)。此外,這種映射表也有助于在進(jìn)行數(shù)據(jù)庫遷移、同步或管理任務(wù)時(shí),能夠快速識(shí)別和訪問特定的數(shù)據(jù)庫和表。

    由于測試基準(zhǔn)集來自6個(gè)不同的源網(wǎng)址,因此具體數(shù)據(jù)表會(huì)根據(jù)源數(shù)據(jù)的不同而構(gòu)造不同的數(shù)據(jù)表結(jié)構(gòu),以下為以來自Trust Hub的106個(gè)測試基準(zhǔn)集構(gòu)造的trusthubdata表,字段如下:

    a.ID:唯一標(biāo)識(shí)符,整型,主鍵。

    b.Name:基準(zhǔn)測試的名稱,如'AES-T100',字符串類型。

    c.Insertion phase:插入階段,指的是設(shè)計(jì)或制造階段,字符串類型。

    d.Abstraction level:抽象級(jí)別,如'Register Transfer level'或'Gate-level',字符串類型。

    e.Activation mechanism:激活機(jī)制,如'Always on'或'Triggered Internally',字符串類型。

    f.Effects:效果,如'Leak Information'或'Denial of Service',字符串類型。

    g.Location:位置,指的是受影響的硬件組件,字符串類型。

    h.Physical characteristics:物理特性,描述了基準(zhǔn)測試的物理特性,字符串類型。

    arithmetic benchmarks表:

    a.ID:唯一標(biāo)識(shí)符,整型,主鍵。

    b.Name:基準(zhǔn)測試的名稱,如'Adder',字符串類型。

    c.Inputs:輸入端的數(shù)量,字符串類型。

    d.Outputs:輸出端的數(shù)量,字符串類型。

    e.LUT-6 count:輸入查找表的數(shù)量,字符串類型。

    f.Levels:邏輯電路的級(jí)數(shù),字符串類型。該數(shù)據(jù)表結(jié)構(gòu)及部分?jǐn)?shù)據(jù)如表1所示。

    3.3 模塊化接口設(shè)計(jì)

    下面將后端Flask框架劃分為四大關(guān)鍵模塊,即用戶認(rèn)證模塊,數(shù)據(jù)庫連接模塊,數(shù)據(jù)庫操作模塊和文件系統(tǒng)管理模塊進(jìn)行分析。

    用戶認(rèn)證模塊,該模塊處理用戶的登錄和會(huì)話管理。

    該模塊接口設(shè)計(jì)分析如下:

    a.登錄(/login):通過POST方法接收用戶名和密碼,驗(yàn)證用戶并設(shè)置會(huì)話。

    b.獲取會(huì)話(/getSession):通過GET方法獲取當(dāng)前會(huì)話的信息。

    數(shù)據(jù)庫連接模塊,該模塊負(fù)責(zé)從conn_info.json文件中讀取數(shù)據(jù)庫連接參數(shù),并根據(jù)需要返回適當(dāng)?shù)臄?shù)據(jù)庫連接配置。

    該模塊接口設(shè)計(jì)分析如下:

    a.數(shù)據(jù)庫連接參數(shù)(get_db_connection_params(db_name)):此函數(shù)根據(jù)提供的數(shù)據(jù)庫名稱返回?cái)?shù)據(jù)庫連接參數(shù)。它處理了字典配置,并將游標(biāo)類設(shè)置為DictCursor。

    b.獲取數(shù)據(jù)庫表列表(/get-tables):通過POST方法返回指定數(shù)據(jù)庫中的所有表的列表。

    c.獲取表索引(/get-indexes):通過POST方法返回指定表的所有索引。

    數(shù)據(jù)庫操作模塊,如圖1所示,該模塊負(fù)責(zé)與數(shù)據(jù)庫的所有交互,包括數(shù)據(jù)的增刪查改。

    該模塊接口設(shè)計(jì)分析如下:

    a.添加數(shù)據(jù)(/add/bm):接收J(rèn)SON數(shù)據(jù)并通過POST方法插入到數(shù)據(jù)庫表中。允許用戶通過POST請(qǐng)求添加新的基準(zhǔn)集。

    b.刪除數(shù)據(jù)(/delete/bm):根據(jù)提供的名稱,通過POST方法從數(shù)據(jù)庫表中刪除記錄。允許用戶通過POST請(qǐng)求刪除特定的基準(zhǔn)集。

    c.搜索數(shù)據(jù)(/search/bm):根據(jù)提供的名稱,通過POST方法搜索數(shù)據(jù)庫表中的記錄并返回結(jié)果。允許用戶通過POST請(qǐng)求搜索基準(zhǔn)集。

    d.顯示數(shù)據(jù)(/show-data):通過POST方法查詢并返回?cái)?shù)據(jù)庫表中的所有記錄。用于展示指定表中的所有數(shù)據(jù)。

    文件系統(tǒng)管理模塊,如圖2所示,此模塊包含處理文件目錄和文件操作的函數(shù)。

    對(duì)于該模塊進(jìn)行接口設(shè)計(jì)分析如下:

    a.構(gòu)建文件樹(build_file_tree):構(gòu)建指定目錄的文件樹結(jié)構(gòu)。

    b.文件頁面(/files):渲染文件管理頁面。

    c.獲取目錄(/get_directory):通過GET方法返回指定目錄的文件樹結(jié)構(gòu)。

    d.下載文件(/download/<filepath>):通過GET方法允許用戶下載文件。

    e.查看文件(/view/<filepath>):通過GET方法允許用戶查看文件內(nèi)容。

    f.文件上傳(/upload):通過POST方法處理文件上傳,并提供解壓功能。

    3.4 小結(jié)

    本章集中討論了如何通過Web技術(shù)優(yōu)化硬件安全測試基準(zhǔn)集的數(shù)據(jù)庫管理。首先,明確了系統(tǒng)的核心需求,包括用戶登錄、安全提示、數(shù)據(jù)庫連接、數(shù)據(jù)展示以及文件操作等。詳細(xì)描述了數(shù)據(jù)表的結(jié)構(gòu),如`userinfo`和`trusthubdata`,以及它們?nèi)绾沃С窒到y(tǒng)的數(shù)據(jù)存儲(chǔ)需求。在后端開發(fā)方面,F(xiàn)lask框架因其輕量級(jí)和靈活性被選用,根據(jù)功能將后端劃分為用戶認(rèn)證、數(shù)據(jù)庫連接、操作和文件系統(tǒng)管理等模塊,每個(gè)模塊都有清晰的接口設(shè)計(jì)。

    4 硬件安全測試集實(shí)驗(yàn)評(píng)估

    本章旨在探討使用開源工具Yosys對(duì)現(xiàn)有的硬件測試基準(zhǔn)集進(jìn)行綜合,對(duì)得到的門級(jí)網(wǎng)表進(jìn)行分析評(píng)估。Yosys作為一個(gè)開源的硬件描述語言(HDL)綜合工具,它在集成電路設(shè)計(jì)和驗(yàn)證過程中扮演著至關(guān)重要的角色。通過Yosys的綜合過程,設(shè)計(jì)者能夠?qū)⒏呒?jí)的HDL代碼轉(zhuǎn)化為門級(jí)網(wǎng)表,通過使用Yosys,對(duì)數(shù)據(jù)庫中的測試向量進(jìn)行代碼綜合,選擇了部分測試樣例進(jìn)行實(shí)驗(yàn)評(píng)估,對(duì)生成的門級(jí)網(wǎng)表進(jìn)行分析。

    實(shí)驗(yàn)環(huán)境為Ubuntu 22.04,Tabby CAD Suite 2024-05-20版本的工具集成了Yosys的所需環(huán)境,從GitHub下載該版本進(jìn)行安裝。配置完成后在安裝路徑下輸入Yosys命令即可開始使用Yosys進(jìn)行綜合。

    4.1 測試工具Yosys功能概述

    Yosys是一個(gè)開源用于電路的邏輯綜合的框架,支持多種硬件描述語言包括Verilog和VHDL,能夠?qū)⑦@些高級(jí)語言代碼轉(zhuǎn)換成較低抽象層次的電路表示如門級(jí)網(wǎng)表[6]。Yosys的主要功能包括以下幾點(diǎn):

    a.語法解析:Yosys能夠解析Verilog和VHDL代碼,能夠執(zhí)行從行為級(jí)到寄存器傳輸級(jí)、邏輯門級(jí)和物理門級(jí)的綜合,允許用戶讀取和處理大部分現(xiàn)代Verilog代碼,構(gòu)建電路的內(nèi)部表示。

    b.邏輯優(yōu)化:Yosys使用ABC(A System for Sequential Synthesis and Verification)工具提供了一系列的邏輯優(yōu)化算法,用于簡化電路結(jié)構(gòu),消除冗余邏輯,從而提高電路的性能。

    c.邏輯映射:Yosys可以將電路映射到特定的庫單元,如邏輯門和觸發(fā)器,生成門級(jí)網(wǎng)表。Yosys可以在網(wǎng)表級(jí)別(RTL、邏輯、門)執(zhí)行各種操作,并支持將Verilog轉(zhuǎn)換為其他格式(如BLIF、BTOR等)[7-8]。

    4.2 綜合流程詳解

    綜合分為5個(gè)關(guān)鍵的步驟:

    a.讀入Verilog代碼,這里需要將所有Verilog文件進(jìn)行讀取,否則會(huì)出現(xiàn)找不到module的情況。

    b.檢查層次結(jié)構(gòu)并設(shè)置頂層。

    c.執(zhí)行synth綜合命令。在Yosys中,synth命令用于執(zhí)行合成過程,使用不同的后綴則指定了不同的目標(biāo)設(shè)備或平臺(tái)。在本研究中統(tǒng)一使用synth生成適用于多種FPGA或CPLD平臺(tái)的網(wǎng)表。

    d.使用opt_clean命令可以對(duì)網(wǎng)表進(jìn)行優(yōu)化,主要作用是移除未使用的單元和連線。

    e.執(zhí)行write_verilog指令將設(shè)計(jì)寫入Yosys內(nèi)部文件格式。

    如果需要,還可以繼續(xù)執(zhí)行show命令顯示xdot格式的網(wǎng)絡(luò)圖,由于測試基準(zhǔn)集的復(fù)雜性高,綜合之后的圖像極大且生成效率較低,同時(shí)本文重點(diǎn)在于對(duì)測試集進(jìn)行綜合并做簡單優(yōu)化后的輸出結(jié)果進(jìn)行分析,重點(diǎn)關(guān)注門級(jí)電路的結(jié)構(gòu)與特點(diǎn),所以不進(jìn)行之后的步驟。

    4.3 測試樣例實(shí)驗(yàn)評(píng)估

    4.3.1 AES-T100測試向量

    對(duì)AES-T100木馬的綜合測試。AES-T100木馬利用了擴(kuò)頻通信(Spread Spectrum Communications,SSC)的概念來創(chuàng)建一個(gè)隱蔽信道,這通常用于無線通信中以提高信號(hào)的抗干擾能力。通過這種方法,單個(gè)比特的泄露被分布到多個(gè)時(shí)鐘周期,從而降低了被檢測的可能性。

    為了實(shí)現(xiàn)這一過程,木馬采用了偽隨機(jī)數(shù)生成器(PRNG),它初始化為一個(gè)預(yù)定義的值來創(chuàng)建一個(gè)CDMA(Code-Division Multiple Access,碼分多址)碼序列。這個(gè)碼序列隨后用于XOR調(diào)制秘密信息比特,將秘密信息與碼序列相結(jié)合,生成一個(gè)調(diào)制后的序列。

    接下來,調(diào)制后的序列被轉(zhuǎn)發(fā)到一個(gè)泄露電路(Leakage Circuit,LC)。LC由8個(gè)相同的觸發(fā)器(flip-flop)元素組成,它們連接到XOR門的單一輸出,模仿一個(gè)大電容。這種配置允許在電源側(cè)信道中建立一個(gè)隱蔽的CDMA信道,通過這個(gè)信道,木馬能夠?qū)⒚荑€信息泄露出去。整個(gè)機(jī)制的設(shè)計(jì)確保了木馬的隱蔽性和持續(xù)性,因?yàn)镻RNG的預(yù)定義初始化和CDMA碼序列的XOR調(diào)制使得泄露的信息難以被追蹤和分析。同時(shí),LC的配置進(jìn)一步增強(qiáng)了信道的隱蔽性,使其能夠在不被注意的情況下持續(xù)泄露密鑰信息。

    資源使用和總線位的統(tǒng)計(jì)顯示aes_128模塊擁有35個(gè)總線和4 353位,在邏輯單元方面,詳細(xì)列出了各種邏輯門的數(shù)量,包括AND、OR、NOT、DFF(觸發(fā)器)、XOR等。aes_128模塊中,如表2所示,有256個(gè)D觸發(fā)器和128個(gè)XOR門,而one_round模塊則使用了包括D觸發(fā)器、XNOR和XOR在內(nèi)的多種類型的邏輯門,這顯示了設(shè)計(jì)的復(fù)雜性。

    層次結(jié)構(gòu)上,aes_128模塊包含了expand_key_128、final_round和one_round等子模塊,這顯示了一個(gè)層次化的設(shè)計(jì)方案。同時(shí),S4模塊在多個(gè)地方被重復(fù)使用,這表明設(shè)計(jì)中存在模塊化和代碼復(fù)用。對(duì)于XOR/XNOR門比例的統(tǒng)計(jì)與分析,aes_128模塊中有128個(gè)XOR門,在one_round中有256個(gè)XOR門和256個(gè)XNOR門。one_round中總門數(shù)量為644個(gè)單元,其中XOR門256個(gè),占39.75%,XNOR門占39.75%。XOR/XNOR門比值為1,在one_round模塊中,這表明該模塊在執(zhí)行AES算法的混合操作時(shí)高度依賴這些門。性能方面,XOR/XNOR門的比例意味著設(shè)計(jì)在執(zhí)行位操作時(shí)效率較高,這對(duì)于加密算法來說是可以接受的。

    4.3.2 DES密碼核

    對(duì)DES密碼核的綜合測試。對(duì)于DES_ECB模塊,如表3所示,從資源使用的角度來看,DES模塊擁有578根總線和1 096位,而SP模塊則有532根總線和634位。在整個(gè)設(shè)計(jì)層次結(jié)構(gòu)中,總線數(shù)量達(dá)到了1 110根,位數(shù)量為1 730位。此外,公共總線和位的數(shù)量分別為33根和653位,這表明設(shè)計(jì)中有一部分信號(hào)是共享的。邏輯單元的使用情況顯示,DES模塊擁有745個(gè)邏輯單元,而SP模塊有554個(gè)。整體來看,設(shè)計(jì)中共有1 298個(gè)邏輯單元,其中MUX(多路選擇器)的使用數(shù)量最多,這表明設(shè)計(jì)中存在大量的數(shù)據(jù)選擇邏輯。

    設(shè)計(jì)中的并發(fā)操作可能通過大量的MUX和DFFE實(shí)現(xiàn)。層次結(jié)構(gòu)方面,DES模塊包含一個(gè)SP模塊,形成了一個(gè)簡單的層次結(jié)構(gòu),有助于簡化設(shè)計(jì)和調(diào)試。特別地關(guān)注XOR/XNOR門的比例。在整個(gè)設(shè)計(jì)中,XOR門的數(shù)量為69個(gè),而XNOR門的數(shù)量為26個(gè),相對(duì)于總的1 298個(gè)邏輯單元來說,XOR門占比約為5.32%,XNOR門占比約為2.00%。XOR/XNOR門比值為2.65,雖然比例不高,但在電路性能和安全性方面扮演著重要角色。XOR操作在加密算法中是基礎(chǔ),可以提供必要的數(shù)據(jù)變換功能,而XNOR門的使用則可以增加電路的安全性。

    對(duì)于DES_ECB_Akkar模塊,如表4所示,從資源使用的角度來看,DES模塊擁有598根總線和1 336位,而SP模塊則有526根總線和628位,這表明兩個(gè)模塊在資源分配上有所不同。設(shè)計(jì)層次結(jié)構(gòu)中,總線數(shù)量達(dá)到了1 124根,位數(shù)量為1 964位,公共總線和位的數(shù)量分別為34根和874位,這表明設(shè)計(jì)中有一部分信號(hào)是共享的,有助于減少資源的冗余。從邏輯單元角度分析,DES模塊擁有793個(gè)邏輯單元,而SP模塊有548個(gè),整體設(shè)計(jì)中共有1 340個(gè)邏輯單元。其中,MUX(多路選擇器)的使用數(shù)量最多,這表明設(shè)計(jì)中存在大量的數(shù)據(jù)選擇邏輯,這是為了實(shí)現(xiàn)并發(fā)操作。

    層次結(jié)構(gòu)方面,DES模塊包含一個(gè)SP模塊,形成了一個(gè)簡單的層次結(jié)構(gòu),這有助于簡化設(shè)計(jì)和調(diào)試。對(duì)于XOR/XNOR門的使用比例情況,在整個(gè)設(shè)計(jì)中,XOR門的數(shù)量為78個(gè),而XNOR門的數(shù)量為16個(gè),相對(duì)于總的1 340個(gè)邏輯單元來說,XOR門占比約為5.82%,XNOR門占比約為1.19%。XOR/XNOR門比值為4.88,這一比例的增加可能意味著對(duì)數(shù)據(jù)變換功能的需求有所提升。此外,與DES_ECB_sta.txt相比,DES_ECB_Akkar_sta.txt中的邏輯單元數(shù)量略有增加,尤其是MUX的數(shù)量在SP模塊中從415增加到416,這可能反映了設(shè)計(jì)者對(duì)數(shù)據(jù)選擇邏輯的進(jìn)一步優(yōu)化。XOR門的數(shù)量在DES模塊中從64增加到72,在SP模塊中從5增加到6,整體從69增加到78,這進(jìn)一步證實(shí)了對(duì)數(shù)據(jù)變換功能需求的增加。

    4.4 小結(jié)

    本章詳細(xì)闡述了在Ubuntu 22.04環(huán)境下使用Yosys的綜合流程,包括讀取Verilog代碼、檢查層次結(jié)構(gòu)、執(zhí)行綜合命令、優(yōu)化網(wǎng)表以及輸出設(shè)計(jì)等關(guān)鍵步驟,為深入的分析提供了基礎(chǔ)。先對(duì)門級(jí)網(wǎng)表的結(jié)構(gòu)和特點(diǎn)進(jìn)行討論,包括輸入輸出端口、邏輯門、連線、時(shí)鐘控制等,以及層次化設(shè)計(jì)方法在管理復(fù)雜性中的重要性。門級(jí)網(wǎng)表不僅是電路設(shè)計(jì)的一個(gè)詳細(xì)藍(lán)圖,也是確保電路功能正確實(shí)現(xiàn)的關(guān)鍵。進(jìn)一步地對(duì)作為實(shí)驗(yàn)樣例的測試基準(zhǔn)集進(jìn)行了性能評(píng)估,涵蓋了資源使用情況、邏輯單元的類型和數(shù)量以及XOR/XNOR門的比例等。這些分析結(jié)果不僅幫助理解電路的性能表現(xiàn),還揭示了設(shè)計(jì)優(yōu)化的潛在機(jī)會(huì)。在安全性分析方面,Yosys的應(yīng)用價(jià)值得到了凸顯,它幫助識(shí)別可能的安全風(fēng)險(xiǎn),特別是在硬件木馬的檢測上。通過對(duì)綜合結(jié)果分析,設(shè)計(jì)者可以更好地理解電路的行為,并采取相應(yīng)措施以提高安全性。

    5 結(jié)語

    本文主要完成了以下兩個(gè)核心部分的工作,它們分別對(duì)應(yīng)于硬件安全研究測試基準(zhǔn)集的構(gòu)建和管理,以及使用Yosys工具進(jìn)行的綜合分析。

    a.設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)基于Web技術(shù)的數(shù)據(jù)庫管理體系架構(gòu),旨在提升硬件安全測試基準(zhǔn)集的存儲(chǔ)、下載和管理效率。系統(tǒng)核心需求涵蓋了用戶登錄、安全提示、數(shù)據(jù)庫連接、數(shù)據(jù)展示和文件操作等關(guān)鍵功能。在后端將系統(tǒng)劃分為用戶認(rèn)證、數(shù)據(jù)庫連接、操作和文件系統(tǒng)管理等模塊,每個(gè)模塊都具備清晰的接口。同時(shí),深入研究了關(guān)系型數(shù)據(jù)庫設(shè)計(jì),特別強(qiáng)調(diào)了數(shù)據(jù)完整性和安全性,確保了關(guān)鍵數(shù)據(jù)表如trusthubdata的結(jié)構(gòu)合理性。

    b.詳細(xì)探討了使用開源工具Yosys對(duì)硬件測試基準(zhǔn)集進(jìn)行綜合分析的過程。Yosys作為一個(gè)在集成電路設(shè)計(jì)和驗(yàn)證中扮演關(guān)鍵角色的HDL綜合工具,能夠幫助設(shè)計(jì)者將高級(jí)HDL代碼轉(zhuǎn)化為門級(jí)網(wǎng)表,為后續(xù)的布局布線、時(shí)序分析和性能評(píng)估打下基礎(chǔ)。在硬件安全領(lǐng)域,Yosys的應(yīng)用價(jià)值得到了凸顯,它幫助識(shí)別可能的安全風(fēng)險(xiǎn),尤其是在硬件木馬的檢測上。通過對(duì)測試基準(zhǔn)集的綜合結(jié)果分析,能夠更好地理解電路的行為。

    展望未來,本項(xiàng)目在硬件安全領(lǐng)域?qū)⒏聹y試基準(zhǔn)集以適應(yīng)發(fā)展,開發(fā)多維度評(píng)估工具,集成Yosys至Web應(yīng)用提升效率,引入AI實(shí)現(xiàn)智能化管理。同時(shí),將加強(qiáng)安全性和隱私保護(hù),擴(kuò)展測試范圍,開發(fā)高級(jí)Web數(shù)據(jù)庫管理,并強(qiáng)化安全措施。

    參考文獻(xiàn):

    [1]He C,Hou B,Wang L,et al.A novel hardware Trojan detection method based on side-channel analysis and PCA algorithm[C]//2014 10th International Conference on Reliability,Maintainability and Safety (ICRMS).IEEE,2014:1043-1046.

    [2]Zhan P,Shen H,Li S,et al.BGNN-HT:Bidirectional Graph Neural Network for Hardware Trojan Cells Detection at Gate Level[C]//2023 IEEE International Symposium on Circuits and Systems(ISCAS).IEEE,2023:1-5.

    [3]Ponugoti K K,Srinivasan S K,Mathure N.Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits[C]//2021 28th IEEE International Conference on Electronics,Circuits,and Systems(ICECS).IEEE,2021:1-6.

    [4]Neto W L,Possani V N,Marranghello F S,et al.Exact multi-level benchmark circuit generation for logic synthesis evaluation[C]//2018 31st Symposium on Integrated Circuits and Systems Design (SBCCI).IEEE,2018:1-6.

    [5]Amarú L,Soeken M,Haaswijk W,et al.Multi-level logic benchmarks: An exactness study[C]//2017 22nd Asia and South Pacific Design Automation Conference(ASP-DAC).IEEE,2017:157-162.

    [6]張茜歌,朱嘉誠,馬俊,等.基于故障傳播模型的硬件安全性與可靠性驗(yàn)證方法[J].西北工業(yè)大學(xué)學(xué)報(bào),2024,42(1):29-31.

    [7]Wolf C, Glaser J,Kepler J.Yosys-a free Verilog synthesis suite[C]//Proceedings of the 21st Austrian Workshop on Microelectronics(Austrochip),2013:97.

    [8]Shah D,Hung E,Wolf C,et al.Yosys+nextpnr:an open source framework from verilog to bitstream for commercial fpgas[C]//2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines(FCCM).IEEE,2019:1-4.

    作者簡介:

    關(guān)磊,男,1984年生,助理工程師,研究方向?yàn)檎嚋y試。

    动漫黄色视频在线观看| 久久精品国产清高在天天线| 国产高清有码在线观看视频 | 国产乱人伦免费视频| 婷婷精品国产亚洲av在线| 亚洲18禁久久av| 母亲3免费完整高清在线观看| xxxwww97欧美| 黑人操中国人逼视频| 熟女电影av网| 国产一级毛片七仙女欲春2| 国产成人欧美在线观看| 啦啦啦免费观看视频1| 日日夜夜操网爽| 麻豆国产av国片精品| 美女免费视频网站| 国产伦在线观看视频一区| 亚洲aⅴ乱码一区二区在线播放 | 变态另类丝袜制服| www.自偷自拍.com| 久久欧美精品欧美久久欧美| 老司机靠b影院| 久久香蕉精品热| 每晚都被弄得嗷嗷叫到高潮| 男人舔女人的私密视频| 午夜福利在线在线| 久久国产乱子伦精品免费另类| 嫩草影视91久久| 日韩欧美精品v在线| 午夜a级毛片| 亚洲男人天堂网一区| 国产精品自产拍在线观看55亚洲| 国产高清有码在线观看视频 | 久久亚洲真实| 亚洲中文字幕一区二区三区有码在线看 | 美女大奶头视频| 国产成人精品久久二区二区免费| 精品欧美一区二区三区在线| 亚洲五月天丁香| 一级片免费观看大全| 婷婷丁香在线五月| 国产精品1区2区在线观看.| 欧美在线黄色| 亚洲国产欧美一区二区综合| 中文在线观看免费www的网站 | 狂野欧美白嫩少妇大欣赏| 啦啦啦观看免费观看视频高清| 日韩中文字幕欧美一区二区| 深夜精品福利| 可以在线观看的亚洲视频| 日韩大尺度精品在线看网址| 国产一级毛片七仙女欲春2| 久久久久久久久久黄片| 午夜精品久久久久久毛片777| 亚洲av成人精品一区久久| 国产精品亚洲一级av第二区| 国产精品一区二区三区四区久久| 国产精品美女特级片免费视频播放器 | 在线观看舔阴道视频| 日本五十路高清| 国产三级黄色录像| 男女视频在线观看网站免费 | 亚洲国产欧美网| 中文字幕精品亚洲无线码一区| 一级a爱片免费观看的视频| 日韩大尺度精品在线看网址| 高清毛片免费观看视频网站| 岛国视频午夜一区免费看| 18禁黄网站禁片免费观看直播| 三级男女做爰猛烈吃奶摸视频| 欧美精品亚洲一区二区| 岛国视频午夜一区免费看| 亚洲成av人片免费观看| 看片在线看免费视频| 欧美一区二区精品小视频在线| 老汉色av国产亚洲站长工具| 很黄的视频免费| netflix在线观看网站| 男人舔奶头视频| 淫秽高清视频在线观看| 狂野欧美激情性xxxx| 一级a爱片免费观看的视频| 国产精品一区二区三区四区久久| 日本撒尿小便嘘嘘汇集6| 香蕉久久夜色| 日韩成人在线观看一区二区三区| 长腿黑丝高跟| 丝袜人妻中文字幕| 在线观看美女被高潮喷水网站 | 亚洲人成网站在线播放欧美日韩| 国产av不卡久久| 精品熟女少妇八av免费久了| svipshipincom国产片| 啦啦啦韩国在线观看视频| 91九色精品人成在线观看| 成人永久免费在线观看视频| 一级黄色大片毛片| 波多野结衣高清作品| 亚洲黑人精品在线| 身体一侧抽搐| 观看免费一级毛片| 亚洲欧美日韩高清在线视频| av免费在线观看网站| 人人妻人人澡欧美一区二区| 欧美日韩中文字幕国产精品一区二区三区| 亚洲一卡2卡3卡4卡5卡精品中文| 老司机午夜十八禁免费视频| 色尼玛亚洲综合影院| 国产成人精品久久二区二区免费| 熟妇人妻久久中文字幕3abv| 欧美不卡视频在线免费观看 | 五月伊人婷婷丁香| 国产91精品成人一区二区三区| 国产又色又爽无遮挡免费看| 精品国产美女av久久久久小说| 精品乱码久久久久久99久播| 日本免费a在线| 操出白浆在线播放| 黄色丝袜av网址大全| 一级毛片精品| 国产精品亚洲一级av第二区| av在线播放免费不卡| 亚洲人成77777在线视频| 成年人黄色毛片网站| 亚洲成a人片在线一区二区| 不卡av一区二区三区| avwww免费| 我要搜黄色片| 国产精品美女特级片免费视频播放器 | 国产免费av片在线观看野外av| 欧美黄色片欧美黄色片| 搡老妇女老女人老熟妇| 国产精品久久电影中文字幕| 我的老师免费观看完整版| 国产亚洲欧美在线一区二区| 熟女少妇亚洲综合色aaa.| 在线观看66精品国产| 国产欧美日韩精品亚洲av| 三级毛片av免费| 又黄又粗又硬又大视频| 亚洲国产欧洲综合997久久,| 欧美中文日本在线观看视频| 日本成人三级电影网站| 1024香蕉在线观看| 国产视频内射| 久久香蕉精品热| 丰满的人妻完整版| a级毛片在线看网站| 久久久精品国产亚洲av高清涩受| 国产精品永久免费网站| 国产伦一二天堂av在线观看| 2021天堂中文幕一二区在线观| 免费搜索国产男女视频| 精品国内亚洲2022精品成人| 亚洲欧美日韩无卡精品| 两性夫妻黄色片| 麻豆一二三区av精品| 亚洲自拍偷在线| 一边摸一边抽搐一进一小说| 亚洲国产欧美网| 日韩精品免费视频一区二区三区| av福利片在线| 成年版毛片免费区| 舔av片在线| 欧美日韩亚洲国产一区二区在线观看| 午夜福利高清视频| а√天堂www在线а√下载| 久久久久精品国产欧美久久久| 亚洲精品中文字幕在线视频| 日日干狠狠操夜夜爽| 国产在线精品亚洲第一网站| 神马国产精品三级电影在线观看 | 久久久久久免费高清国产稀缺| 国产午夜精品久久久久久| 久久久国产成人精品二区| 国产精品1区2区在线观看.| 国产黄a三级三级三级人| 国产成人欧美在线观看| 亚洲成人免费电影在线观看| 精品国产乱码久久久久久男人| 亚洲国产精品久久男人天堂| www.自偷自拍.com| 中亚洲国语对白在线视频| 中文字幕久久专区| av在线播放免费不卡| 久9热在线精品视频| 女人爽到高潮嗷嗷叫在线视频| 欧美黑人精品巨大| 在线观看免费午夜福利视频| 女同久久另类99精品国产91| 久久人妻福利社区极品人妻图片| 夜夜躁狠狠躁天天躁| 女人高潮潮喷娇喘18禁视频| 国产精品 国内视频| 日日爽夜夜爽网站| 99国产极品粉嫩在线观看| 日韩欧美一区二区三区在线观看| 精品乱码久久久久久99久播| 中亚洲国语对白在线视频| 亚洲国产中文字幕在线视频| 亚洲国产日韩欧美精品在线观看 | 91av网站免费观看| av福利片在线| 国产在线精品亚洲第一网站| 天天躁夜夜躁狠狠躁躁| 亚洲成人国产一区在线观看| 精品一区二区三区四区五区乱码| 夜夜看夜夜爽夜夜摸| 90打野战视频偷拍视频| 制服人妻中文乱码| 全区人妻精品视频| 亚洲黑人精品在线| 国产成+人综合+亚洲专区| 国产欧美日韩一区二区三| 18禁黄网站禁片午夜丰满| 精品福利观看| 午夜福利免费观看在线| 亚洲欧美日韩高清在线视频| 他把我摸到了高潮在线观看| 久久精品国产99精品国产亚洲性色| 久热爱精品视频在线9| 国产亚洲欧美在线一区二区| 亚洲人成网站高清观看| 国产高清激情床上av| 免费在线观看黄色视频的| 老司机在亚洲福利影院| 99国产综合亚洲精品| 精品久久蜜臀av无| 国产精品一区二区三区四区免费观看 | 三级国产精品欧美在线观看 | 五月伊人婷婷丁香| 床上黄色一级片| 真人一进一出gif抽搐免费| 亚洲成av人片在线播放无| 久久精品aⅴ一区二区三区四区| 在线观看日韩欧美| 欧美成人午夜精品| 亚洲aⅴ乱码一区二区在线播放 | 国产成人影院久久av| 国产午夜精品论理片| 欧美黑人欧美精品刺激| 精品欧美一区二区三区在线| 国产男靠女视频免费网站| 久久久久九九精品影院| 婷婷精品国产亚洲av| 亚洲狠狠婷婷综合久久图片| 国内精品久久久久精免费| avwww免费| 很黄的视频免费| 亚洲国产高清在线一区二区三| 亚洲九九香蕉| 午夜日韩欧美国产| 免费高清视频大片| 亚洲欧洲精品一区二区精品久久久| 午夜影院日韩av| 给我免费播放毛片高清在线观看| 欧美精品亚洲一区二区| 99国产精品一区二区蜜桃av| 欧美日韩国产亚洲二区| or卡值多少钱| 窝窝影院91人妻| 国产高清激情床上av| 久久久久性生活片| 身体一侧抽搐| 成人手机av| 成人高潮视频无遮挡免费网站| 19禁男女啪啪无遮挡网站| 国产精品永久免费网站| 一区福利在线观看| 少妇的丰满在线观看| 日韩免费av在线播放| 这个男人来自地球电影免费观看| 日韩国内少妇激情av| 国产亚洲欧美在线一区二区| 99精品在免费线老司机午夜| 久久久久久久久久黄片| 亚洲天堂国产精品一区在线| 午夜a级毛片| 成年免费大片在线观看| 亚洲 国产 在线| 在线观看免费日韩欧美大片| 国产视频一区二区在线看| 成人午夜高清在线视频| 两性午夜刺激爽爽歪歪视频在线观看 | 国产激情久久老熟女| 波多野结衣高清无吗| tocl精华| 久久久久久免费高清国产稀缺| 亚洲国产欧美一区二区综合| 成年版毛片免费区| cao死你这个sao货| 不卡av一区二区三区| 中文字幕熟女人妻在线| 久久久久久久久中文| 国产精品一区二区三区四区久久| 日本一本二区三区精品| 亚洲成人国产一区在线观看| 一本精品99久久精品77| 少妇被粗大的猛进出69影院| 亚洲国产精品久久男人天堂| 国产主播在线观看一区二区| 特大巨黑吊av在线直播| 在线视频色国产色| 免费看日本二区| 神马国产精品三级电影在线观看 | 国产成人系列免费观看| 夜夜夜夜夜久久久久| 欧美一区二区精品小视频在线| 日本一二三区视频观看| 亚洲色图av天堂| 丝袜美腿诱惑在线| 久久精品国产综合久久久| 长腿黑丝高跟| 99精品在免费线老司机午夜| 黄色视频不卡| 99精品在免费线老司机午夜| 日韩欧美三级三区| 亚洲av成人精品一区久久| 日韩欧美一区二区三区在线观看| 人妻久久中文字幕网| av中文乱码字幕在线| 久9热在线精品视频| 夜夜看夜夜爽夜夜摸| 精品久久久久久久末码| 欧美日韩精品网址| 久久天躁狠狠躁夜夜2o2o| 超碰成人久久| 国产伦人伦偷精品视频| 欧美乱色亚洲激情| 精品国产乱码久久久久久男人| 国产亚洲精品综合一区在线观看 | www日本在线高清视频| 欧美日韩亚洲综合一区二区三区_| 中文字幕av在线有码专区| 久久香蕉国产精品| 国产激情欧美一区二区| 19禁男女啪啪无遮挡网站| 亚洲在线自拍视频| 亚洲精品美女久久av网站| 日本一本二区三区精品| 免费高清视频大片| 丁香六月欧美| 女生性感内裤真人,穿戴方法视频| 黑人欧美特级aaaaaa片| 国产高清视频在线观看网站| 伦理电影免费视频| 亚洲av美国av| 一级毛片女人18水好多| 国产欧美日韩精品亚洲av| 久久久久久久久免费视频了| 一二三四社区在线视频社区8| 久久久久久久久免费视频了| 久久久久久久久久黄片| 怎么达到女性高潮| АⅤ资源中文在线天堂| 国产激情偷乱视频一区二区| 久久精品综合一区二区三区| 男男h啪啪无遮挡| 欧美一区二区国产精品久久精品 | 美女黄网站色视频| 日本一本二区三区精品| 哪里可以看免费的av片| 一级毛片高清免费大全| 91成年电影在线观看| 久久久久久久久中文| 久久久久久大精品| 国产伦在线观看视频一区| 日韩欧美免费精品| 两性午夜刺激爽爽歪歪视频在线观看 | 99精品在免费线老司机午夜| 国产精品日韩av在线免费观看| 国产在线精品亚洲第一网站| 99在线人妻在线中文字幕| 亚洲欧美日韩高清在线视频| avwww免费| 99热这里只有精品一区 | 国产黄a三级三级三级人| 亚洲 欧美一区二区三区| 九色成人免费人妻av| 窝窝影院91人妻| 久久香蕉国产精品| 中文字幕av在线有码专区| 一个人免费在线观看的高清视频| netflix在线观看网站| 成在线人永久免费视频| 国产成+人综合+亚洲专区| 午夜亚洲福利在线播放| 天天一区二区日本电影三级| 亚洲国产欧美一区二区综合| 亚洲电影在线观看av| 后天国语完整版免费观看| 99久久久亚洲精品蜜臀av| 久久久国产成人免费| 老熟妇仑乱视频hdxx| 日韩有码中文字幕| 欧美又色又爽又黄视频| 欧美3d第一页| 亚洲片人在线观看| 级片在线观看| 亚洲熟妇熟女久久| 精品高清国产在线一区| 午夜亚洲福利在线播放| 国产精品一区二区精品视频观看| 禁无遮挡网站| 久久精品人妻少妇| 久久精品国产99精品国产亚洲性色| 美女免费视频网站| 国产高清videossex| 亚洲激情在线av| 两个人看的免费小视频| 亚洲精品美女久久av网站| 亚洲av中文字字幕乱码综合| 黄色视频,在线免费观看| 国产亚洲精品一区二区www| 日本a在线网址| 欧美日韩精品网址| 欧美乱妇无乱码| 麻豆久久精品国产亚洲av| 操出白浆在线播放| 精品久久久久久,| 老司机午夜福利在线观看视频| 国内揄拍国产精品人妻在线| 中文字幕最新亚洲高清| 亚洲精品国产精品久久久不卡| 久久 成人 亚洲| 亚洲av电影在线进入| 国产午夜精品论理片| 亚洲一码二码三码区别大吗| 午夜两性在线视频| bbb黄色大片| 亚洲美女黄片视频| 色尼玛亚洲综合影院| 欧美黄色片欧美黄色片| 精品高清国产在线一区| 岛国在线免费视频观看| 夜夜看夜夜爽夜夜摸| av福利片在线| 日韩成人在线观看一区二区三区| 成人18禁在线播放| 九色成人免费人妻av| 五月伊人婷婷丁香| 免费在线观看亚洲国产| 天天躁夜夜躁狠狠躁躁| 麻豆国产av国片精品| 久久精品91蜜桃| av视频在线观看入口| 亚洲午夜理论影院| 亚洲精品色激情综合| svipshipincom国产片| 国产精品久久久av美女十八| 美女 人体艺术 gogo| 亚洲精品在线美女| 夜夜爽天天搞| 老司机深夜福利视频在线观看| 久久香蕉国产精品| 亚洲在线自拍视频| 国产私拍福利视频在线观看| 精品久久久久久成人av| 亚洲成人中文字幕在线播放| 两人在一起打扑克的视频| ponron亚洲| 午夜福利视频1000在线观看| 老司机在亚洲福利影院| 最近最新中文字幕大全免费视频| 无限看片的www在线观看| a级毛片a级免费在线| 久久 成人 亚洲| 麻豆国产97在线/欧美 | 18禁国产床啪视频网站| 日日爽夜夜爽网站| 欧美成人性av电影在线观看| 久久香蕉精品热| bbb黄色大片| 97人妻精品一区二区三区麻豆| 国产高清videossex| 国产午夜精品久久久久久| 国产免费男女视频| 桃红色精品国产亚洲av| 午夜免费成人在线视频| 欧美国产日韩亚洲一区| 99在线人妻在线中文字幕| 久久精品亚洲精品国产色婷小说| www.www免费av| 大型黄色视频在线免费观看| 成人三级做爰电影| 久久久久久久久久黄片| 好看av亚洲va欧美ⅴa在| 日韩av在线大香蕉| 999久久久精品免费观看国产| 亚洲欧美激情综合另类| 国产精品久久久人人做人人爽| 日日夜夜操网爽| 日本a在线网址| 日本黄色视频三级网站网址| 两人在一起打扑克的视频| 黄色女人牲交| 国产av麻豆久久久久久久| 91av网站免费观看| 亚洲国产高清在线一区二区三| 精品一区二区三区四区五区乱码| 男女做爰动态图高潮gif福利片| 亚洲 欧美一区二区三区| 黄频高清免费视频| 999久久久精品免费观看国产| 97超级碰碰碰精品色视频在线观看| 国产av一区二区精品久久| 免费观看精品视频网站| а√天堂www在线а√下载| 亚洲精品在线美女| 国产亚洲欧美98| 久久婷婷人人爽人人干人人爱| 一级毛片女人18水好多| 欧美成人性av电影在线观看| 免费在线观看影片大全网站| 欧美中文日本在线观看视频| 欧美黑人欧美精品刺激| 两性午夜刺激爽爽歪歪视频在线观看 | 99国产精品一区二区三区| 男人的好看免费观看在线视频 | www.精华液| 麻豆国产97在线/欧美 | 在线观看美女被高潮喷水网站 | 最近最新免费中文字幕在线| 久久久久久人人人人人| 亚洲男人的天堂狠狠| 国产一区二区在线av高清观看| 日韩精品中文字幕看吧| 久99久视频精品免费| 色噜噜av男人的天堂激情| 国产99久久九九免费精品| 一个人免费在线观看电影 | 99在线人妻在线中文字幕| 在线十欧美十亚洲十日本专区| 午夜精品在线福利| 欧美在线黄色| 亚洲精品av麻豆狂野| 免费人成视频x8x8入口观看| 麻豆久久精品国产亚洲av| 91麻豆av在线| 麻豆国产97在线/欧美 | 日本a在线网址| 黄色 视频免费看| 久久精品国产99精品国产亚洲性色| 欧美黑人欧美精品刺激| 欧美精品啪啪一区二区三区| 99精品久久久久人妻精品| 五月伊人婷婷丁香| 一级毛片精品| 色精品久久人妻99蜜桃| 亚洲真实伦在线观看| 正在播放国产对白刺激| 中文字幕熟女人妻在线| 亚洲 欧美 日韩 在线 免费| 久久久久久亚洲精品国产蜜桃av| 日本精品一区二区三区蜜桃| 又黄又爽又免费观看的视频| 亚洲人与动物交配视频| 婷婷六月久久综合丁香| 中文字幕av在线有码专区| 亚洲精品久久国产高清桃花| 色在线成人网| 看免费av毛片| 亚洲国产欧美一区二区综合| 婷婷精品国产亚洲av在线| 精品第一国产精品| 国产高清有码在线观看视频 | 久久性视频一级片| 日韩成人在线观看一区二区三区| 日韩大尺度精品在线看网址| 99久久无色码亚洲精品果冻| 国产精品影院久久| 亚洲人成网站高清观看| 99国产精品一区二区蜜桃av| 此物有八面人人有两片| 国产人伦9x9x在线观看| 性色av乱码一区二区三区2| 国产一级毛片七仙女欲春2| 成熟少妇高潮喷水视频| 淫秽高清视频在线观看| 亚洲电影在线观看av| 精品日产1卡2卡| 久久久国产精品麻豆| 一级黄色大片毛片| 又爽又黄无遮挡网站| 亚洲av成人精品一区久久| 国产亚洲精品久久久久5区| 亚洲一区二区三区色噜噜| 欧美一级毛片孕妇| 亚洲精品美女久久久久99蜜臀| 国产精品乱码一区二三区的特点| 18禁黄网站禁片午夜丰满| 国产私拍福利视频在线观看| 超碰成人久久| 黄色片一级片一级黄色片| 免费电影在线观看免费观看| 少妇熟女aⅴ在线视频| 国产成人一区二区三区免费视频网站| 国产精品久久久人人做人人爽| 国产成+人综合+亚洲专区| av福利片在线| 国产精品一及| 欧美乱色亚洲激情| 日本一区二区免费在线视频| 亚洲成人国产一区在线观看| 国内精品一区二区在线观看| 久久这里只有精品19| 99精品欧美一区二区三区四区| 成年版毛片免费区| 国产区一区二久久| 国产一区二区在线av高清观看| 在线观看免费视频日本深夜| 性欧美人与动物交配| 久久精品综合一区二区三区| 一区二区三区激情视频| 熟女少妇亚洲综合色aaa.|