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

    日韩欧美 国产精品| 欧美区成人在线视频| 九九在线视频观看精品| 美女大奶头视频| a级毛片a级免费在线| 欧美激情在线99| 亚洲成a人片在线一区二区| 国产在线精品亚洲第一网站| 免费观看在线日韩| 亚洲综合色惰| 日本一二三区视频观看| 国产久久久一区二区三区| 国产成人一区二区在线| 国产午夜精品久久久久久一区二区三区 | 在线国产一区二区在线| 波多野结衣高清无吗| 高清日韩中文字幕在线| 男插女下体视频免费在线播放| 蜜桃久久精品国产亚洲av| 特级一级黄色大片| 精品久久久久久久久亚洲 | 国产乱人伦免费视频| 2021天堂中文幕一二区在线观| 国产精品日韩av在线免费观看| 亚洲四区av| 尤物成人国产欧美一区二区三区| 女同久久另类99精品国产91| 日韩欧美三级三区| 99在线视频只有这里精品首页| 99久久成人亚洲精品观看| 国内精品一区二区在线观看| 五月伊人婷婷丁香| 欧美日韩乱码在线| 欧美极品一区二区三区四区| 婷婷精品国产亚洲av| 精品久久久久久,| 99久久精品热视频| 欧美中文日本在线观看视频| 免费大片18禁| 国产精品自产拍在线观看55亚洲| 极品教师在线免费播放| 色精品久久人妻99蜜桃| 嫩草影院入口| 日本一二三区视频观看| 国产亚洲欧美98| 亚洲av中文字字幕乱码综合| 国产av在哪里看| 丰满乱子伦码专区| 成人鲁丝片一二三区免费| 亚洲成av人片在线播放无| 12—13女人毛片做爰片一| 他把我摸到了高潮在线观看| 男人和女人高潮做爰伦理| 精品人妻一区二区三区麻豆 | 天堂av国产一区二区熟女人妻| 国产精品美女特级片免费视频播放器| av中文乱码字幕在线| 欧美不卡视频在线免费观看| 中国美白少妇内射xxxbb| 国内精品久久久久精免费| 黄色丝袜av网址大全| 久久久久精品国产欧美久久久| 精品午夜福利视频在线观看一区| 免费看av在线观看网站| 真人一进一出gif抽搐免费| 亚洲国产精品成人综合色| 黄色视频,在线免费观看| 搡老熟女国产l中国老女人| 午夜免费男女啪啪视频观看 | 午夜福利在线观看吧| 免费大片18禁| 国内毛片毛片毛片毛片毛片| 久久午夜福利片| 99久久精品国产国产毛片| 在线免费观看不下载黄p国产 | 日本色播在线视频| 国产精品av视频在线免费观看| 久久久久久伊人网av| 国产欧美日韩精品亚洲av| 国产国拍精品亚洲av在线观看| 国产精品女同一区二区软件 | 一级黄色大片毛片| 久久人人精品亚洲av| 高清日韩中文字幕在线| 他把我摸到了高潮在线观看| 我的女老师完整版在线观看| 色噜噜av男人的天堂激情| 神马国产精品三级电影在线观看| 欧美区成人在线视频| 熟女电影av网| 久久久久久九九精品二区国产| 国产乱人视频| 婷婷亚洲欧美| 18+在线观看网站| 波野结衣二区三区在线| .国产精品久久| 久久久久免费精品人妻一区二区| 一个人看视频在线观看www免费| 婷婷精品国产亚洲av| 日本黄大片高清| 99国产极品粉嫩在线观看| 久久婷婷人人爽人人干人人爱| 国产亚洲91精品色在线| 淫秽高清视频在线观看| 男女之事视频高清在线观看| 日本欧美国产在线视频| 国产日本99.免费观看| 午夜久久久久精精品| 日韩欧美在线乱码| 人妻夜夜爽99麻豆av| 亚洲av美国av| 无人区码免费观看不卡| 波多野结衣巨乳人妻| 久久久久久九九精品二区国产| 国产精品三级大全| 性欧美人与动物交配| 中国美白少妇内射xxxbb| 日本与韩国留学比较| 乱人视频在线观看| 欧美3d第一页| 欧美不卡视频在线免费观看| 99热只有精品国产| 日本欧美国产在线视频| 亚洲成av人片在线播放无| 国产av在哪里看| 一级毛片久久久久久久久女| 91麻豆av在线| 亚洲国产高清在线一区二区三| 国产免费av片在线观看野外av| 日本一二三区视频观看| 成人精品一区二区免费| 亚洲精品在线观看二区| 岛国在线免费视频观看| 亚洲avbb在线观看| 一个人看的www免费观看视频| 99久久精品热视频| 国产人妻一区二区三区在| 亚洲在线自拍视频| 看片在线看免费视频| 国内精品一区二区在线观看| 精品福利观看| 国产精品久久久久久久电影| 国产乱人视频| 丰满人妻一区二区三区视频av| 欧美性感艳星| 亚洲欧美清纯卡通| 春色校园在线视频观看| 国产中年淑女户外野战色| 国内精品久久久久精免费| 黄色日韩在线| 深夜a级毛片| 色综合站精品国产| 成人无遮挡网站| 桃色一区二区三区在线观看| 免费观看精品视频网站| 日韩国内少妇激情av| 老熟妇仑乱视频hdxx| 日本-黄色视频高清免费观看| av天堂在线播放| 99久久精品热视频| 精品免费久久久久久久清纯| 18禁黄网站禁片午夜丰满| 精品人妻一区二区三区麻豆 | 乱系列少妇在线播放| 最近最新中文字幕大全电影3| 亚洲最大成人中文| 国产精品福利在线免费观看| 欧美性猛交黑人性爽| a在线观看视频网站| 欧美高清性xxxxhd video| 欧美日本视频| 亚洲色图av天堂| 国产真实伦视频高清在线观看 | 亚洲第一电影网av| 久久久久久久亚洲中文字幕| 亚洲性久久影院| 我的老师免费观看完整版| 麻豆国产97在线/欧美| 国产午夜福利久久久久久| 一进一出好大好爽视频| 51国产日韩欧美| 成熟少妇高潮喷水视频| 精品99又大又爽又粗少妇毛片 | 九九爱精品视频在线观看| 看片在线看免费视频| 两个人的视频大全免费| 亚洲真实伦在线观看| 久久精品国产亚洲av香蕉五月| 欧美日韩乱码在线| 51国产日韩欧美| 国产激情偷乱视频一区二区| 波多野结衣高清无吗| 校园人妻丝袜中文字幕| 婷婷丁香在线五月| 亚洲欧美日韩东京热| 亚洲精品亚洲一区二区| 天天躁日日操中文字幕| 看黄色毛片网站| 国产高清激情床上av| 中国美女看黄片| 级片在线观看| 国产精品一区二区三区四区免费观看 | 久久草成人影院| 久久久久久久久久成人| 美女免费视频网站| 极品教师在线免费播放| 美女高潮的动态| 国产探花极品一区二区| 99国产极品粉嫩在线观看| 日韩强制内射视频| 人妻少妇偷人精品九色| 国产色婷婷99| 一进一出抽搐gif免费好疼| 丰满人妻一区二区三区视频av| 性色avwww在线观看| 日韩欧美国产在线观看| 国产亚洲精品久久久久久毛片| 在线观看一区二区三区| 久久久久久久精品吃奶| 97超级碰碰碰精品色视频在线观看| av在线老鸭窝| 99视频精品全部免费 在线| 自拍偷自拍亚洲精品老妇| 少妇裸体淫交视频免费看高清| 国内精品久久久久久久电影| 欧美潮喷喷水| 色哟哟哟哟哟哟| 国产私拍福利视频在线观看| 一边摸一边抽搐一进一小说| 校园春色视频在线观看| 欧美人与善性xxx| 日韩精品青青久久久久久| 国产精品,欧美在线| 日本 欧美在线| 美女 人体艺术 gogo| 精品一区二区三区av网在线观看| 免费看光身美女| 国产午夜精品久久久久久一区二区三区 | 日韩大尺度精品在线看网址| 亚洲精品一卡2卡三卡4卡5卡| 婷婷六月久久综合丁香| 99久久无色码亚洲精品果冻| 99热这里只有精品一区| 欧美不卡视频在线免费观看| 2021天堂中文幕一二区在线观| 亚洲最大成人av| 国内精品久久久久久久电影| 国产伦一二天堂av在线观看| 精品人妻1区二区| 久久久精品欧美日韩精品| 久久久久性生活片| 日韩中文字幕欧美一区二区| 天美传媒精品一区二区| 别揉我奶头 嗯啊视频| 亚洲 国产 在线| 亚洲精品影视一区二区三区av| 国产精品电影一区二区三区| 久久亚洲精品不卡| 97超级碰碰碰精品色视频在线观看| 成人特级黄色片久久久久久久| 美女xxoo啪啪120秒动态图| 精品久久久久久久久久免费视频| 黄片wwwwww| 男人和女人高潮做爰伦理| 免费看光身美女| 免费高清视频大片| 国产精品伦人一区二区| 不卡一级毛片| 欧美成人a在线观看| 午夜免费男女啪啪视频观看 | 成人无遮挡网站| 欧美日韩国产亚洲二区| 国产亚洲91精品色在线| 黄色丝袜av网址大全| 亚洲精品亚洲一区二区| 午夜精品久久久久久毛片777| 伦理电影大哥的女人| 久久久久久国产a免费观看| 在线播放国产精品三级| av国产免费在线观看| 99热6这里只有精品| 亚洲电影在线观看av| 亚洲av第一区精品v没综合| av专区在线播放| 日日撸夜夜添| 精品久久久久久成人av| av国产免费在线观看| 免费在线观看成人毛片| 成人毛片a级毛片在线播放| 国产精品久久久久久av不卡| 一个人看视频在线观看www免费| 国产一区二区在线av高清观看| 高清在线国产一区| 成人国产麻豆网| 亚洲人成伊人成综合网2020| 亚洲专区中文字幕在线| 国产成人aa在线观看| 国产高清不卡午夜福利| 久久6这里有精品| a级一级毛片免费在线观看| 九九久久精品国产亚洲av麻豆| aaaaa片日本免费| 国产女主播在线喷水免费视频网站 | 最后的刺客免费高清国语| 伦精品一区二区三区| 久久人人爽人人爽人人片va| 亚洲在线自拍视频| 99热只有精品国产| 高清在线国产一区| 国产亚洲精品综合一区在线观看| 亚洲精品粉嫩美女一区| 成人美女网站在线观看视频| 五月玫瑰六月丁香| 久久久久久久久久久丰满 | 在线免费观看不下载黄p国产 | 成人鲁丝片一二三区免费| 久久热精品热| 乱系列少妇在线播放| 动漫黄色视频在线观看| 最后的刺客免费高清国语| 黄色配什么色好看| 国产伦人伦偷精品视频| 尾随美女入室| 九色成人免费人妻av| 亚洲第一电影网av| 此物有八面人人有两片| 午夜老司机福利剧场| 色5月婷婷丁香| 97超视频在线观看视频| 亚洲avbb在线观看| 人人妻人人澡欧美一区二区| 男人和女人高潮做爰伦理| 欧美不卡视频在线免费观看| 日本a在线网址| 中文字幕久久专区| 久久精品国产清高在天天线| 中文字幕免费在线视频6| 神马国产精品三级电影在线观看| 精品一区二区三区视频在线| 国产乱人伦免费视频| 亚洲熟妇中文字幕五十中出| 一本精品99久久精品77| 五月伊人婷婷丁香| 亚洲人与动物交配视频| 欧美三级亚洲精品| 在线观看美女被高潮喷水网站| 观看免费一级毛片| 国产免费av片在线观看野外av| 久久精品国产亚洲网站| 91久久精品电影网| 在线观看午夜福利视频| 国产精品亚洲美女久久久| 99久久中文字幕三级久久日本| 两人在一起打扑克的视频| 九九在线视频观看精品| 亚洲国产精品成人综合色| 久久久久久久久中文| 国产免费av片在线观看野外av| 免费看av在线观看网站| 嫩草影视91久久| 国模一区二区三区四区视频| 欧美人与善性xxx| 成年女人永久免费观看视频| 精品一区二区三区av网在线观看| 他把我摸到了高潮在线观看| 精品99又大又爽又粗少妇毛片 | 欧美丝袜亚洲另类 | 岛国在线免费视频观看| 亚洲av中文字字幕乱码综合| 国产av不卡久久| 久久精品国产亚洲av天美| 日本与韩国留学比较| 亚洲四区av| 伦理电影大哥的女人| 乱人视频在线观看| 18+在线观看网站| 精品午夜福利在线看| 成人二区视频| 欧美+亚洲+日韩+国产| 少妇猛男粗大的猛烈进出视频 | 自拍偷自拍亚洲精品老妇| 男人的好看免费观看在线视频| 日本熟妇午夜| 日韩欧美免费精品| 亚洲午夜理论影院| 亚洲av日韩精品久久久久久密| 99久久成人亚洲精品观看| 国产不卡一卡二| 在线免费观看不下载黄p国产 | 国产精品一区www在线观看 | 性色avwww在线观看| 国产亚洲精品av在线| 天堂√8在线中文| 精品99又大又爽又粗少妇毛片 | 国产中年淑女户外野战色| 日本黄大片高清| 日韩av在线大香蕉| 婷婷亚洲欧美| 搡老妇女老女人老熟妇| 啦啦啦观看免费观看视频高清| 久久中文看片网| 女的被弄到高潮叫床怎么办 | 男人和女人高潮做爰伦理| av.在线天堂| 嫁个100分男人电影在线观看| 麻豆成人av在线观看| 欧美xxxx黑人xx丫x性爽| 亚洲精品一卡2卡三卡4卡5卡| 夜夜爽天天搞| 中文字幕免费在线视频6| 日日摸夜夜添夜夜添小说| 国产男靠女视频免费网站| 亚洲四区av| 日本成人三级电影网站| 免费大片18禁| 国产av麻豆久久久久久久| 99视频精品全部免费 在线| 国产欧美日韩精品亚洲av| 99热这里只有精品一区| 国产老妇女一区| 成年女人永久免费观看视频| 久久国产精品人妻蜜桃| 久久婷婷人人爽人人干人人爱| 亚洲欧美精品综合久久99| 国产爱豆传媒在线观看| 一级毛片久久久久久久久女| 天堂网av新在线| 国产午夜精品久久久久久一区二区三区 | 欧美日韩瑟瑟在线播放| 一级毛片久久久久久久久女| 亚洲最大成人中文| 欧美成人a在线观看| 亚洲精品一卡2卡三卡4卡5卡| 精品久久久久久久末码| 国产精品亚洲一级av第二区| 春色校园在线视频观看| 国产一区二区三区视频了| 国产精华一区二区三区| 三级国产精品欧美在线观看| av女优亚洲男人天堂| 精品人妻偷拍中文字幕| 麻豆精品久久久久久蜜桃| 日本五十路高清| 久久久久性生活片| 亚洲精品成人久久久久久| 如何舔出高潮| 我的女老师完整版在线观看| 欧美日韩国产亚洲二区| 日韩强制内射视频| 婷婷亚洲欧美| 久久久色成人| 99国产极品粉嫩在线观看| 女的被弄到高潮叫床怎么办 | 在线国产一区二区在线| 舔av片在线| 尾随美女入室| 久久久久久久精品吃奶| 免费观看在线日韩| 精品人妻熟女av久视频| 日韩欧美国产一区二区入口| 欧美丝袜亚洲另类 | 精品久久久久久久久久久久久| 97人妻精品一区二区三区麻豆| 蜜桃亚洲精品一区二区三区| 男女下面进入的视频免费午夜| 国产精品永久免费网站| 97超视频在线观看视频| a级一级毛片免费在线观看| 舔av片在线| 一个人看视频在线观看www免费| 久久久久久久精品吃奶| 国产熟女欧美一区二区| 别揉我奶头~嗯~啊~动态视频| 亚洲av中文av极速乱 | 99热网站在线观看| 男女那种视频在线观看| or卡值多少钱| 久久久久国产精品人妻aⅴ院| 男人的好看免费观看在线视频| 麻豆久久精品国产亚洲av| 国产麻豆成人av免费视频| 国产三级在线视频| 蜜桃久久精品国产亚洲av| 美女高潮喷水抽搐中文字幕| 亚洲午夜理论影院| 一个人观看的视频www高清免费观看| 中文亚洲av片在线观看爽| av女优亚洲男人天堂| 国产三级在线视频| 在线播放国产精品三级| 男女边吃奶边做爰视频| 亚洲最大成人中文| 男插女下体视频免费在线播放| 久久精品人妻少妇| 中文字幕免费在线视频6| 亚州av有码| 色5月婷婷丁香| 性插视频无遮挡在线免费观看| 不卡一级毛片| 啦啦啦啦在线视频资源| 日日撸夜夜添| 看黄色毛片网站| 久久久久久久精品吃奶| 亚洲第一区二区三区不卡| 免费在线观看成人毛片| 一进一出好大好爽视频| 少妇的逼水好多| 女人十人毛片免费观看3o分钟| 国产精品98久久久久久宅男小说| 国产精品嫩草影院av在线观看 | 可以在线观看的亚洲视频| 婷婷精品国产亚洲av在线| 老司机福利观看| 国产精品人妻久久久影院| 中文字幕高清在线视频| 一夜夜www| 成人特级黄色片久久久久久久| 国产淫片久久久久久久久| 波多野结衣高清无吗| 欧美国产日韩亚洲一区| 国产一区二区亚洲精品在线观看| 亚洲国产精品合色在线| 亚洲欧美日韩高清专用| 亚洲国产精品sss在线观看| 国产大屁股一区二区在线视频| a级毛片免费高清观看在线播放| 黄色配什么色好看| 午夜爱爱视频在线播放| 国产高清激情床上av| 真人做人爱边吃奶动态| 色精品久久人妻99蜜桃| ponron亚洲| 性欧美人与动物交配| 亚洲av.av天堂| 欧美最黄视频在线播放免费| 一夜夜www| 国产免费一级a男人的天堂| 如何舔出高潮| 亚洲精品粉嫩美女一区| 亚洲经典国产精华液单| x7x7x7水蜜桃| 久久中文看片网| 欧美人与善性xxx| 亚洲四区av| 亚洲精品成人久久久久久| 联通29元200g的流量卡| 一区二区三区四区激情视频 | 夜夜看夜夜爽夜夜摸| 啦啦啦啦在线视频资源| 天堂动漫精品| 国产精品国产高清国产av| 熟女人妻精品中文字幕| 99久久精品热视频| 中国美白少妇内射xxxbb| 国产精华一区二区三区| 一级a爱片免费观看的视频| 欧美最黄视频在线播放免费| 毛片一级片免费看久久久久 | 亚洲国产色片| 婷婷六月久久综合丁香| 在线观看舔阴道视频| 国产亚洲av嫩草精品影院| 午夜福利18| 国产高清三级在线| 欧美成人性av电影在线观看| 我的老师免费观看完整版| 中文字幕免费在线视频6| 成人特级av手机在线观看| 国产老妇女一区| 亚洲一区高清亚洲精品| АⅤ资源中文在线天堂| 国产精品国产高清国产av| 无人区码免费观看不卡| 国产精品,欧美在线| 伊人久久精品亚洲午夜| 日韩 亚洲 欧美在线| 搡老岳熟女国产| 看片在线看免费视频| 久久久久久大精品| 精品99又大又爽又粗少妇毛片 | 人妻少妇偷人精品九色| 午夜福利18| 免费观看精品视频网站| 天天躁日日操中文字幕| 18禁黄网站禁片午夜丰满| 男女做爰动态图高潮gif福利片| 在线观看舔阴道视频| 久久午夜亚洲精品久久| 成人国产麻豆网| 蜜桃久久精品国产亚洲av| 嫩草影院精品99| 成人特级黄色片久久久久久久| 如何舔出高潮| 国产伦精品一区二区三区视频9| 搡老熟女国产l中国老女人| 制服丝袜大香蕉在线| 精品一区二区三区人妻视频| 亚洲av不卡在线观看| 国产蜜桃级精品一区二区三区| 亚洲,欧美,日韩| 久久久久久大精品| 亚洲成人免费电影在线观看| 亚洲黑人精品在线| 国产精品福利在线免费观看| 成年免费大片在线观看| 国产高清视频在线观看网站| 国产精品一区二区三区四区免费观看 | 日韩中字成人| 内地一区二区视频在线| 亚洲狠狠婷婷综合久久图片| av在线亚洲专区| 成人av在线播放网站| 国内精品久久久久精免费| 亚洲av一区综合| 亚洲 国产 在线|