• <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試。

    国产成人一区二区三区免费视频网站| 精品福利观看| 99国产精品一区二区三区| 蜜桃国产av成人99| 国产精品国产av在线观看| 女性生殖器流出的白浆| 欧美人与性动交α欧美精品济南到| 欧美成人免费av一区二区三区 | 9色porny在线观看| 色婷婷久久久亚洲欧美| 国产日韩欧美在线精品| 欧美激情高清一区二区三区| 两人在一起打扑克的视频| 啦啦啦中文免费视频观看日本| 一级黄色大片毛片| 另类亚洲欧美激情| 久久天躁狠狠躁夜夜2o2o| 国产成人欧美在线观看 | 男人舔女人的私密视频| 五月开心婷婷网| 汤姆久久久久久久影院中文字幕| 久久久久精品国产欧美久久久| 老司机亚洲免费影院| 女人高潮潮喷娇喘18禁视频| 亚洲人成77777在线视频| 99香蕉大伊视频| 精品第一国产精品| 国产无遮挡羞羞视频在线观看| 在线永久观看黄色视频| 亚洲av国产av综合av卡| 久久热在线av| 久久婷婷成人综合色麻豆| 精品人妻在线不人妻| 18禁美女被吸乳视频| 99久久精品国产亚洲精品| 久久 成人 亚洲| 丝袜在线中文字幕| 成人免费观看视频高清| 操美女的视频在线观看| av不卡在线播放| 新久久久久国产一级毛片| 久久精品人人爽人人爽视色| 亚洲伊人久久精品综合| 国产在视频线精品| 国产真人三级小视频在线观看| 狠狠婷婷综合久久久久久88av| 国产精品秋霞免费鲁丝片| 日本av手机在线免费观看| 日本黄色视频三级网站网址 | 女人爽到高潮嗷嗷叫在线视频| 亚洲专区中文字幕在线| 亚洲性夜色夜夜综合| 国产欧美日韩综合在线一区二区| 亚洲午夜理论影院| 一个人免费看片子| 久久亚洲真实| 国产精品一区二区在线不卡| 999精品在线视频| 欧美黑人欧美精品刺激| 99热国产这里只有精品6| 啦啦啦中文免费视频观看日本| 国产成人欧美| 久久久水蜜桃国产精品网| 欧美成狂野欧美在线观看| 91大片在线观看| 久久国产精品影院| 99国产精品免费福利视频| 久久九九热精品免费| 最新美女视频免费是黄的| 亚洲成人免费电影在线观看| 国产欧美亚洲国产| 99热网站在线观看| 岛国在线观看网站| 亚洲精品一二三| 久久久久国内视频| 久久青草综合色| 黄色 视频免费看| 老汉色av国产亚洲站长工具| 亚洲人成伊人成综合网2020| 久久精品亚洲熟妇少妇任你| 久久精品aⅴ一区二区三区四区| 国产精品久久久久久人妻精品电影 | 岛国在线观看网站| 91麻豆精品激情在线观看国产 | 亚洲国产精品一区二区三区在线| 久久ye,这里只有精品| 亚洲精品成人av观看孕妇| 久久久欧美国产精品| 这个男人来自地球电影免费观看| 国产99久久九九免费精品| 每晚都被弄得嗷嗷叫到高潮| 俄罗斯特黄特色一大片| 免费av中文字幕在线| 久久国产精品影院| 大香蕉久久网| 老司机午夜福利在线观看视频 | 国产精品自产拍在线观看55亚洲 | av电影中文网址| 在线 av 中文字幕| 欧美+亚洲+日韩+国产| 亚洲av电影在线进入| 日本vs欧美在线观看视频| 丝袜美足系列| 久久精品熟女亚洲av麻豆精品| 老鸭窝网址在线观看| 色尼玛亚洲综合影院| 黑人巨大精品欧美一区二区mp4| 欧美老熟妇乱子伦牲交| 国产极品粉嫩免费观看在线| 免费在线观看视频国产中文字幕亚洲| 亚洲成人国产一区在线观看| 国产国语露脸激情在线看| 亚洲国产欧美网| 国产日韩欧美亚洲二区| 色精品久久人妻99蜜桃| 丁香六月欧美| 日韩视频在线欧美| 成年人黄色毛片网站| 啦啦啦中文免费视频观看日本| 黑人巨大精品欧美一区二区蜜桃| 男女下面插进去视频免费观看| 亚洲欧洲日产国产| 国产欧美日韩一区二区三区在线| 高清黄色对白视频在线免费看| 国产成人啪精品午夜网站| 亚洲五月色婷婷综合| 黄片小视频在线播放| 麻豆国产av国片精品| 真人做人爱边吃奶动态| 国产xxxxx性猛交| 久久久久久久久久久久大奶| 精品国内亚洲2022精品成人 | 国产精品香港三级国产av潘金莲| 欧美乱妇无乱码| 免费在线观看日本一区| 国产成人系列免费观看| 久久九九热精品免费| 美女福利国产在线| 成年动漫av网址| 最新的欧美精品一区二区| 我的亚洲天堂| 涩涩av久久男人的天堂| 18在线观看网站| 一本一本久久a久久精品综合妖精| 美女主播在线视频| 手机成人av网站| 黄片小视频在线播放| 在线观看免费午夜福利视频| 亚洲色图av天堂| 99精品欧美一区二区三区四区| 三级毛片av免费| 两性午夜刺激爽爽歪歪视频在线观看 | 国产老妇伦熟女老妇高清| 一进一出好大好爽视频| 色婷婷av一区二区三区视频| 黄网站色视频无遮挡免费观看| 女人久久www免费人成看片| 成人国产av品久久久| 99国产精品一区二区蜜桃av | 国产精品久久久久久精品古装| 91成年电影在线观看| 久久精品国产99精品国产亚洲性色 | h视频一区二区三区| 国产精品偷伦视频观看了| 91精品国产国语对白视频| 新久久久久国产一级毛片| 日韩人妻精品一区2区三区| 怎么达到女性高潮| 一区福利在线观看| 久久久精品国产亚洲av高清涩受| 中文亚洲av片在线观看爽 | 午夜老司机福利片| 亚洲精品成人av观看孕妇| 在线观看人妻少妇| 在线观看免费日韩欧美大片| 在线十欧美十亚洲十日本专区| 在线永久观看黄色视频| 午夜老司机福利片| 建设人人有责人人尽责人人享有的| 大香蕉久久网| 国产精品一区二区在线不卡| 国产日韩欧美在线精品| 99久久国产精品久久久| 麻豆乱淫一区二区| 露出奶头的视频| 国产激情久久老熟女| 999精品在线视频| 狠狠婷婷综合久久久久久88av| 91大片在线观看| 久久精品国产a三级三级三级| 老鸭窝网址在线观看| 亚洲精品av麻豆狂野| 精品国产一区二区三区四区第35| 亚洲天堂av无毛| 免费在线观看视频国产中文字幕亚洲| av有码第一页| 亚洲avbb在线观看| 欧美 日韩 精品 国产| 免费女性裸体啪啪无遮挡网站| 成人18禁高潮啪啪吃奶动态图| 亚洲精品在线观看二区| 汤姆久久久久久久影院中文字幕| 免费日韩欧美在线观看| 欧美日韩中文字幕国产精品一区二区三区 | 我要看黄色一级片免费的| 国产不卡av网站在线观看| 亚洲国产av新网站| 国产一区二区三区视频了| 丝袜美腿诱惑在线| 男女高潮啪啪啪动态图| 亚洲五月色婷婷综合| 久久亚洲精品不卡| 日本撒尿小便嘘嘘汇集6| 国产成人免费无遮挡视频| 99精品在免费线老司机午夜| tube8黄色片| 国产成人影院久久av| 亚洲国产欧美网| 久久天堂一区二区三区四区| 十分钟在线观看高清视频www| 亚洲中文字幕日韩| cao死你这个sao货| 色综合婷婷激情| 国产精品久久久人人做人人爽| 女警被强在线播放| 丰满饥渴人妻一区二区三| av欧美777| 一区二区日韩欧美中文字幕| 国产成人免费观看mmmm| 12—13女人毛片做爰片一| 狠狠狠狠99中文字幕| 精品国内亚洲2022精品成人 | 午夜福利一区二区在线看| 在线观看免费午夜福利视频| 久久久精品区二区三区| 亚洲性夜色夜夜综合| 丰满迷人的少妇在线观看| 国产野战对白在线观看| 国产极品粉嫩免费观看在线| 另类精品久久| 亚洲一码二码三码区别大吗| 国产av国产精品国产| 一区福利在线观看| 可以免费在线观看a视频的电影网站| 亚洲精品在线美女| 一边摸一边抽搐一进一小说 | tube8黄色片| 日本av免费视频播放| 国产精品熟女久久久久浪| 精品人妻熟女毛片av久久网站| 人妻久久中文字幕网| 欧美日韩av久久| 露出奶头的视频| 最近最新中文字幕大全电影3 | 一进一出好大好爽视频| 高清av免费在线| 老熟女久久久| 99精品久久久久人妻精品| 在线观看66精品国产| 99精国产麻豆久久婷婷| 久久国产亚洲av麻豆专区| 久热这里只有精品99| 免费不卡黄色视频| 好男人电影高清在线观看| 久久精品成人免费网站| 国产精品国产高清国产av | 精品久久久久久电影网| 黄色 视频免费看| 中亚洲国语对白在线视频| 国产亚洲精品一区二区www | 极品人妻少妇av视频| 麻豆乱淫一区二区| 精品亚洲成a人片在线观看| 汤姆久久久久久久影院中文字幕| 每晚都被弄得嗷嗷叫到高潮| 又大又爽又粗| 国产精品99久久99久久久不卡| 色94色欧美一区二区| 免费av中文字幕在线| 又紧又爽又黄一区二区| 久久久久久久精品吃奶| 两性午夜刺激爽爽歪歪视频在线观看 | 久热爱精品视频在线9| 成在线人永久免费视频| 99精品在免费线老司机午夜| 亚洲,欧美精品.| 欧美一级毛片孕妇| 一个人免费看片子| 国产成人免费观看mmmm| 美女视频免费永久观看网站| 嫁个100分男人电影在线观看| 夜夜骑夜夜射夜夜干| 蜜桃在线观看..| 久久久久国产一级毛片高清牌| 日韩有码中文字幕| 国产亚洲一区二区精品| 人成视频在线观看免费观看| 免费在线观看视频国产中文字幕亚洲| 国产精品自产拍在线观看55亚洲 | 日韩一区二区三区影片| 性色av乱码一区二区三区2| 午夜福利视频精品| 捣出白浆h1v1| 午夜免费鲁丝| 精品少妇黑人巨大在线播放| 制服人妻中文乱码| 久热这里只有精品99| 老司机午夜福利在线观看视频 | 91国产中文字幕| 九色亚洲精品在线播放| 久久亚洲真实| 777久久人妻少妇嫩草av网站| 肉色欧美久久久久久久蜜桃| 夜夜骑夜夜射夜夜干| 色94色欧美一区二区| 免费在线观看日本一区| 国产在线视频一区二区| 日本av手机在线免费观看| 热99久久久久精品小说推荐| 伦理电影免费视频| 国产不卡av网站在线观看| 国产精品免费大片| avwww免费| 久久精品国产99精品国产亚洲性色 | 国产精品九九99| 人人澡人人妻人| 在线永久观看黄色视频| 久久久久精品国产欧美久久久| avwww免费| 久久久久国产一级毛片高清牌| 亚洲少妇的诱惑av| 99热网站在线观看| 在线观看人妻少妇| 可以免费在线观看a视频的电影网站| 精品亚洲乱码少妇综合久久| 操美女的视频在线观看| 91成人精品电影| 18禁黄网站禁片午夜丰满| 老司机靠b影院| 国产精品成人在线| 蜜桃国产av成人99| 中文字幕人妻熟女乱码| 999久久久精品免费观看国产| 亚洲一区二区三区欧美精品| 又紧又爽又黄一区二区| 国产成人影院久久av| 一级黄色大片毛片| 高清毛片免费观看视频网站 | 亚洲avbb在线观看| avwww免费| 亚洲第一欧美日韩一区二区三区 | 精品熟女少妇八av免费久了| 国产欧美日韩一区二区三区在线| 黄色片一级片一级黄色片| 少妇粗大呻吟视频| 欧美日韩一级在线毛片| 日韩制服丝袜自拍偷拍| 老司机午夜十八禁免费视频| 老熟女久久久| 最新在线观看一区二区三区| 在线观看一区二区三区激情| 成人三级做爰电影| 久热这里只有精品99| 亚洲avbb在线观看| 两个人免费观看高清视频| 法律面前人人平等表现在哪些方面| 午夜福利欧美成人| 国产激情久久老熟女| 国产又色又爽无遮挡免费看| 夫妻午夜视频| 国产欧美日韩一区二区三| 成人18禁在线播放| kizo精华| 淫妇啪啪啪对白视频| 91麻豆精品激情在线观看国产 | 亚洲国产av影院在线观看| 黄色 视频免费看| 亚洲熟女精品中文字幕| 三上悠亚av全集在线观看| 69精品国产乱码久久久| 91字幕亚洲| 女警被强在线播放| 精品亚洲成a人片在线观看| 十分钟在线观看高清视频www| 91成人精品电影| 国产精品亚洲av一区麻豆| tube8黄色片| av又黄又爽大尺度在线免费看| av在线播放免费不卡| 日韩一卡2卡3卡4卡2021年| 亚洲少妇的诱惑av| 亚洲国产欧美在线一区| 人妻 亚洲 视频| 黄色丝袜av网址大全| 欧美老熟妇乱子伦牲交| 久久99热这里只频精品6学生| 亚洲熟妇熟女久久| 成人精品一区二区免费| 丝袜美腿诱惑在线| a级毛片黄视频| 国产精品 国内视频| av免费在线观看网站| 一级,二级,三级黄色视频| 水蜜桃什么品种好| 成人手机av| 精品一区二区三区视频在线观看免费 | 飞空精品影院首页| 亚洲人成伊人成综合网2020| 国产精品久久久av美女十八| 色尼玛亚洲综合影院| 亚洲成人国产一区在线观看| 亚洲 欧美一区二区三区| 女性生殖器流出的白浆| 夜夜骑夜夜射夜夜干| 狠狠狠狠99中文字幕| 欧美日韩av久久| 视频在线观看一区二区三区| 国产一区二区三区视频了| 欧美日韩一级在线毛片| 涩涩av久久男人的天堂| 狂野欧美激情性xxxx| 美女午夜性视频免费| 色尼玛亚洲综合影院| 精品一区二区三卡| 十分钟在线观看高清视频www| 午夜免费成人在线视频| 欧美成人免费av一区二区三区 | 黄色视频不卡| 欧美乱码精品一区二区三区| 交换朋友夫妻互换小说| 亚洲精品在线美女| 久久久精品国产亚洲av高清涩受| 天天影视国产精品| 亚洲精品国产色婷婷电影| 人妻一区二区av| 日日夜夜操网爽| 日韩视频一区二区在线观看| 亚洲国产欧美网| 岛国毛片在线播放| 欧美国产精品一级二级三级| 国产一区有黄有色的免费视频| 人人妻人人澡人人看| 国产成人欧美| 国产成人免费观看mmmm| 欧美黑人精品巨大| 久久影院123| 19禁男女啪啪无遮挡网站| 午夜91福利影院| 人成视频在线观看免费观看| 一二三四在线观看免费中文在| 在线观看免费日韩欧美大片| 久久久久久久国产电影| 在线看a的网站| 亚洲专区字幕在线| 天天操日日干夜夜撸| 建设人人有责人人尽责人人享有的| 美女主播在线视频| 丝袜喷水一区| 国产人伦9x9x在线观看| 女人久久www免费人成看片| 无限看片的www在线观看| 久久久久久久久久久久大奶| 999精品在线视频| 性少妇av在线| 在线永久观看黄色视频| 国精品久久久久久国模美| 极品教师在线免费播放| 黄色成人免费大全| 汤姆久久久久久久影院中文字幕| 好男人电影高清在线观看| 一本—道久久a久久精品蜜桃钙片| 久久精品熟女亚洲av麻豆精品| 欧美大码av| 亚洲精品粉嫩美女一区| 老司机深夜福利视频在线观看| 久久精品91无色码中文字幕| 久久久久久人人人人人| av片东京热男人的天堂| 国产成人系列免费观看| 久久热在线av| 一个人免费在线观看的高清视频| 美女国产高潮福利片在线看| 如日韩欧美国产精品一区二区三区| 亚洲 国产 在线| 中文字幕色久视频| a级片在线免费高清观看视频| 免费一级毛片在线播放高清视频 | 亚洲av欧美aⅴ国产| 国产精品一区二区精品视频观看| 亚洲天堂av无毛| 在线观看人妻少妇| 91大片在线观看| 90打野战视频偷拍视频| 9热在线视频观看99| 亚洲人成电影观看| 国产精品一区二区精品视频观看| 母亲3免费完整高清在线观看| 日日爽夜夜爽网站| 99精品欧美一区二区三区四区| 男女高潮啪啪啪动态图| 国产91精品成人一区二区三区 | avwww免费| 欧美中文综合在线视频| 美女午夜性视频免费| 99久久精品国产亚洲精品| 女人高潮潮喷娇喘18禁视频| 成人国语在线视频| 精品亚洲成国产av| 一本—道久久a久久精品蜜桃钙片| 国产日韩欧美亚洲二区| 最新在线观看一区二区三区| 97在线人人人人妻| 日本wwww免费看| 亚洲国产欧美日韩在线播放| 午夜精品久久久久久毛片777| 婷婷成人精品国产| 久9热在线精品视频| 黄色 视频免费看| 99精品久久久久人妻精品| 12—13女人毛片做爰片一| 美女主播在线视频| 成人国产一区最新在线观看| 国产精品秋霞免费鲁丝片| 老熟女久久久| 亚洲免费av在线视频| 日本五十路高清| 成人国产av品久久久| 久久精品91无色码中文字幕| 国产精品一区二区精品视频观看| 麻豆av在线久日| 亚洲成人免费电影在线观看| 国产av又大| 久久婷婷成人综合色麻豆| 亚洲人成电影免费在线| 人人妻,人人澡人人爽秒播| 日韩一卡2卡3卡4卡2021年| 国产亚洲精品第一综合不卡| 久久久久国产一级毛片高清牌| 精品乱码久久久久久99久播| 精品久久久精品久久久| 一区二区三区精品91| 国产野战对白在线观看| 9色porny在线观看| 国产伦人伦偷精品视频| 亚洲精品国产区一区二| 亚洲综合色网址| 天堂动漫精品| 国产老妇伦熟女老妇高清| 亚洲一卡2卡3卡4卡5卡精品中文| 国产真人三级小视频在线观看| 一级毛片女人18水好多| 最近最新中文字幕大全免费视频| 悠悠久久av| av网站在线播放免费| 欧美激情极品国产一区二区三区| 欧美日韩av久久| 三级毛片av免费| 他把我摸到了高潮在线观看 | av网站免费在线观看视频| 999久久久国产精品视频| 熟女少妇亚洲综合色aaa.| 五月开心婷婷网| 亚洲专区国产一区二区| 精品久久久久久电影网| 亚洲第一青青草原| 夜夜骑夜夜射夜夜干| 后天国语完整版免费观看| 丁香欧美五月| 看免费av毛片| 精品福利永久在线观看| 老熟女久久久| 久久国产精品人妻蜜桃| 亚洲av第一区精品v没综合| 每晚都被弄得嗷嗷叫到高潮| 国产成人啪精品午夜网站| 国产成人精品在线电影| 亚洲熟女毛片儿| 亚洲成国产人片在线观看| 中文字幕人妻丝袜一区二区| www日本在线高清视频| 最黄视频免费看| 久久精品aⅴ一区二区三区四区| 亚洲国产欧美网| 国产黄频视频在线观看| 搡老岳熟女国产| 国产av国产精品国产| 久久天躁狠狠躁夜夜2o2o| 男女午夜视频在线观看| 久久久久久久久免费视频了| 亚洲一码二码三码区别大吗| 成人国产一区最新在线观看| 最新美女视频免费是黄的| 日本a在线网址| 久久人人97超碰香蕉20202| av天堂久久9| 久久人妻熟女aⅴ| 欧美日韩亚洲高清精品| 成人18禁在线播放| 欧美激情高清一区二区三区| 欧美 日韩 精品 国产| 一级毛片电影观看| 丝袜美腿诱惑在线| 12—13女人毛片做爰片一| 黑人猛操日本美女一级片| 99精国产麻豆久久婷婷| 丝袜在线中文字幕| 高清在线国产一区| 男女之事视频高清在线观看| 日韩免费av在线播放| 久久午夜综合久久蜜桃| 男女之事视频高清在线观看| 好男人电影高清在线观看| 久久热在线av| 亚洲黑人精品在线| 久久精品国产a三级三级三级|