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

    RPKI增量同步Delta協(xié)議的形式化檢測與實(shí)現(xiàn)①

    2018-11-14 11:36:18司昊林
    關(guān)鍵詞:資料庫自動(dòng)機(jī)進(jìn)程

    司昊林,馬 迪,毛 偉,,王 偉,邵 晴

    1(中國科學(xué)院 計(jì)算機(jī)網(wǎng)絡(luò)信息中心,北京 100190)

    2(中國科學(xué)院大學(xué),北京 100049)

    3(互聯(lián)網(wǎng)域名系統(tǒng)北京市工程研究中心,北京 100190)

    1 RPKI原理簡介

    為了解決BGP路由劫持的網(wǎng)絡(luò)安全隱患,互聯(lián)網(wǎng)工程任務(wù)組IETF (Internet Engineering Task Force)提出了RPKI (Resource Public Key Infrastructure)[1].RPKI解決此類隱患的基本思路是: 構(gòu)建一整套公鑰證書體系PKI (Public Key Infrastructure)對互聯(lián)網(wǎng)碼號資源INR (Internet Number Resource),包括IP地址前綴和AS號的所有權(quán)(分配)和使用權(quán)(路由起源通告)進(jìn)行驗(yàn)證,通過驗(yàn)證的結(jié)果指示邊境路由器是否接受收到的路由起源通告以修改自己的路由信息.

    如圖1所示的RPKI體系結(jié)構(gòu)中,頂級CA (Certificate Authority)如IANA、RIR、NIR、ISP等在資源分配的過程中,使用CA證書簽發(fā)一系列用于標(biāo)識資源所屬關(guān)系的認(rèn)證證書,其中EE證書主要用于對路由源授權(quán)(Route Origin Authorization,ROA)進(jìn)行驗(yàn)證,從而確認(rèn)某AS是否可以發(fā)起ASN與地址段相匹配的合法路由起源通告.該體系結(jié)構(gòu)中的RP (Relying Party)將從資料庫同步到的證書構(gòu)建成數(shù)據(jù)鏈表,使用OpenSSL對其進(jìn)行驗(yàn)證,驗(yàn)證的結(jié)果緩存于本地?cái)?shù)據(jù)庫中,再通過RTR (Relying party To Router)協(xié)議向路由器提供查詢,邊界路由器通過向RP服務(wù)器發(fā)起查詢以確認(rèn)自身收到的路由源通告是否合法,從而過濾由錯(cuò)誤配置或惡意攻擊等生成的非法路由起源通告,避免路由劫持的發(fā)生[2,3].

    圖1 RPKI體系架構(gòu)

    2 Delta協(xié)議

    2.1 Delta協(xié)議簡介

    由于Rsync在一般文件的同步過程中表現(xiàn)優(yōu)異,IETF在RPKI提出初期,建議使用Rsync作為RP和資料庫之間的同步工具[4].但由于RPKI數(shù)據(jù)資料的結(jié)構(gòu)特殊性,使用Rsync進(jìn)行數(shù)據(jù)會(huì)存在明顯缺陷和安全隱患[5].

    為了解決RPKI在使用Rsync過程中存在的缺陷和隱患,IETF在2015年2月發(fā)布了RRDP (RPKI Repository Delta Protocol,簡稱 Delta 協(xié)議)草案.經(jīng)過10個(gè)版本的修訂,最終于2017年7月形成標(biāo)準(zhǔn)協(xié)議RFC 8182[6].

    相較于Rsync,Delta協(xié)議具有以下顯著特征:

    (1) RPKI資料庫需要生成三個(gè)文件: 用以發(fā)布更新信息的Notification更新通告文件、用以發(fā)布大塊證書打包數(shù)據(jù)的Snapshot快照文件和用以實(shí)現(xiàn)增量同步的Delta文件,通過上述文件對同步過程的動(dòng)態(tài)協(xié)調(diào),使RP服務(wù)器和RPKI資料庫之間數(shù)據(jù)同步的可控性大幅提升.

    (2) Delta協(xié)議的同步機(jī)制中,RPKI資料庫針對證書文件的數(shù)據(jù)特性,通過Delta文件實(shí)現(xiàn)對文件的精確增量更新,RP服務(wù)器初次運(yùn)行需執(zhí)行Snapshot快照文件外,后續(xù)的增量更新只涉及微量數(shù)據(jù),迅捷高效.

    (3) Delta協(xié)議將資料庫的證書同步過程與其他功能模塊徹底剝離,這使得RP服務(wù)器的驗(yàn)證模塊可以從本地直接檢索構(gòu)建驗(yàn)證鏈所需的證書數(shù)據(jù),驗(yàn)證效率被大幅提升.此外,同步至RP服務(wù)器的各類證書數(shù)據(jù)亦可以結(jié)合其他運(yùn)行數(shù)據(jù)進(jìn)行信息分析和挖掘,對邊界路由器提供與指導(dǎo)路由相關(guān)的增值服務(wù).

    (4) Delta協(xié)議中,嚴(yán)格的控制文件校驗(yàn)和全方位的安全考量,使得RPKI與RP服務(wù)器之間數(shù)據(jù)同步的安全性得到大幅提升,同時(shí)RPKI資料庫和RP服務(wù)器之間的控制文件分發(fā)采用HTTPS (Hyper Text Transfer Protocol over Secure socket layer)協(xié)議,由于對傳輸數(shù)據(jù)進(jìn)行了加密,可以有效防止中間人(Monkey-In-the-Middle)攻擊,提升協(xié)議安全性[7].

    2.2 Delta協(xié)議工作機(jī)制

    圖2用以說明Delta協(xié)議的工作機(jī)制.

    Delta協(xié)議工作機(jī)制1) RPKI資料庫需以時(shí)間t為周期,循環(huán)生成Notification文件、Snapshot文件和Delta文件并對其進(jìn)行維護(hù),這三種文件都由當(dāng)前的Session_ID屬性和文件Serial號碼唯一標(biāo)識,并以URL方式發(fā)布以供遠(yuǎn)程獲取,Session_ID本身為一個(gè)隨機(jī)版本4的通用統(tǒng)一標(biāo)識符UUID (Universally Unique Identifier),用以對各個(gè)文件進(jìn)行唯一性標(biāo)識.Notification文件用于對RP服務(wù)器發(fā)布更新會(huì)話發(fā)起通告,文件內(nèi)容包括當(dāng)前Delta版本屬性、本次會(huì)話組合標(biāo)識屬性,同時(shí)也包括本次會(huì)話相關(guān)的Snapshot和Delta文件信息.資料庫生成的三個(gè)文件均為.xml文件.2) RP服務(wù)器周期性獲取Notification文件,并對其內(nèi)容進(jìn)行解析.各RP服務(wù)器可根據(jù)自身工具差異,選取合適的方式對文件進(jìn)行解析以獲取文件信息,本文中采用Python2.7的xml.etree.ElementTree模塊對.xml文件進(jìn)行解析,并對文件數(shù)據(jù)構(gòu)樹以備后續(xù)使用.

    3) RP服務(wù)器需對Notification文件格式進(jìn)行驗(yàn)證.Delta協(xié)議對資料庫生成的三種文件均進(jìn)行了嚴(yán)格的格式規(guī)范,若有任何格式細(xì)節(jié)不匹配的文件,都必須在Delta協(xié)議執(zhí)行的流程中被拒絕.4) Notification文件中攜帶的屬性值必須為“1”,標(biāo)識當(dāng)前Delta協(xié)議版本號.5) Notification文件中攜帶的屬性值需要和本地已存的“Serial”變量進(jìn)行比較,通常若RP服務(wù)器初次發(fā)起更新會(huì)話,“Serial”變量的值為初始值,此時(shí)需要直接執(zhí)行Snapshot文件,至步驟6),若屬性值大于本地“Serial”變量值,則進(jìn)行Delta增量更新,至步驟8),若“Serial”變量值為非初始值且大于等于屬性值,則該Notification文件被拒絕,至步驟11).6) RP服務(wù)器通過Notification文件中Snapshot文件的URL獲取Snapshot文件并驗(yàn)證其文件格式和HASH值,Snapshot文件的HASH值負(fù)載于Notification文件中,Delta協(xié)議中的文件HASH值均為SHA-256散列的十六進(jìn)制編碼.還需驗(yàn)證Snapshot文件的屬性值是否與Notification匹配,若上述三步驗(yàn)證中的任何一個(gè)驗(yàn)證失敗,將導(dǎo)致此Snapshot文件被拒絕,至步驟11).7) 執(zhí)行Snapshot文件,獲取證書數(shù)據(jù),至步驟11).8) 通常一個(gè)Notification文件會(huì)包含多個(gè)Delta文件信息,需要對多個(gè)Delta文件依照屬性值增序構(gòu)建文件鏈表DeltaFL,并對DeltaFL依次驗(yàn)證和執(zhí)行.9) 驗(yàn)證Delta文件的文件格式、文件HASH值和屬性值,任何一步驗(yàn)證失敗都將導(dǎo)致此Delta文件被拒絕,并執(zhí)行Snapshot文件,至步驟6).10) 執(zhí)行Delta文件,獲取證書數(shù)據(jù),若DeltaFL為空,至步驟11),若不為空,則至步驟8).11) 周期循環(huán),至步驟2).

    2.3 Delta協(xié)議的形式化檢測

    Delta協(xié)議的各文件驗(yàn)證過程層疊環(huán)扣,邏輯較為復(fù)雜,為了準(zhǔn)確且全面地說明Delta協(xié)議及其實(shí)現(xiàn)程序的協(xié)議正確性(協(xié)議正確性通常指: 不存在違背斷言(assertion)的情況、不存在不可達(dá)(unreachable)狀態(tài)、不存在死鎖(deadlock)、可以完全覆蓋定義的LTL (Linear Temporal Logic)公式等安全特性)[8],下文將借助用來驗(yàn)證協(xié)議或系統(tǒng)邏輯一致性的工具SPIN對Delta協(xié)議進(jìn)行形式化檢測,以說明Delta具備較高的安全特性.

    圖2 Delta協(xié)議工作機(jī)制示意圖

    算法1.形式化檢測算法1) 構(gòu)造自動(dòng)機(jī),其對應(yīng)公式;2) 計(jì)算使得;3) 判定是否為空,也就是不接受任何輸入.

    SPIN (Simple Promela Interpreter)是一款適合進(jìn)行協(xié)議一致性檢查的分析檢測工具,由貝爾實(shí)驗(yàn)室的形式化方法與驗(yàn)證小組開發(fā),SPIN優(yōu)秀的算法設(shè)計(jì)和有效的檢測能力使其榮獲由ACM (Association for Computing Machinery)授予的軟件系統(tǒng)獎(jiǎng)(software systems award),其他獲得此殊榮的還有Unix、TCP/IP、Tcl/Tk、Java、WWW等[10].如圖3所示的SPIN驗(yàn)證流程,SPIN可以接受由Promela建模語言構(gòu)筑的協(xié)議或系統(tǒng)模型,模型通常由消息通道、變量和進(jìn)程進(jìn)行描述.SPIN會(huì)將模型中構(gòu)筑的進(jìn)程翻譯為有限自動(dòng)機(jī),并對這些自動(dòng)機(jī)進(jìn)行異步積運(yùn)算得到優(yōu)先自動(dòng)機(jī)A,同時(shí)LTL公式會(huì)被取反轉(zhuǎn)換為自動(dòng)機(jī)B,再將自動(dòng)機(jī)A和B進(jìn)行同步積運(yùn)算得到自動(dòng)機(jī)C,SPIN將使用內(nèi)嵌的搜索算法對C進(jìn)行窮盡搜索[11],搜索過程可以通過SPIN獨(dú)有的On-the-fly技術(shù)以及偏序簡化技術(shù)對狀態(tài)空間進(jìn)行簡化,搜索完畢的自動(dòng)機(jī)C若其接受的語言為空,則表示系統(tǒng)滿足LTL描述的屬性,反之則不滿足[12].

    圖3 SPIN模擬與驗(yàn)證結(jié)構(gòu)流程圖

    (1) Delta協(xié)議的語言和有限狀態(tài)機(jī)描述

    定義一個(gè)四元組文法G:G=(V,T,P,S),其中,V是變量集合叫做一個(gè)語法變量;T是終極符的集合,T中的字符是語言的句子中出現(xiàn)的字符,P是產(chǎn)生式的集合,P中的元素具有形式文法G的開始符號.

    因此,Delta協(xié)議的驗(yàn)證邏輯可以使用此語法G進(jìn)行表述:

    S ?aAS→aA使用產(chǎn)生式?aaA 使用產(chǎn)生式?aaaB A→aA使用產(chǎn)生式?aaaaA A→aB使用產(chǎn)生式?aaaaB B→aA使用產(chǎn)生式?aaaab A→aB使用產(chǎn)生式S ?aA B→b S→aA使用產(chǎn)生式?aaaC使用產(chǎn)生式?aaCA→aC使用產(chǎn)生式?aaaB C→aC使用產(chǎn)生式?aaab C→aB使用產(chǎn)生式?aaac B→b使用產(chǎn)生式C→c

    文法GD可產(chǎn)生的語言為可接受或識別上述語言的有限狀態(tài)機(jī)DeltaState如圖4.

    圖4 Delta協(xié)議有限自動(dòng)狀態(tài)機(jī)

    表1 Delta對應(yīng)的自動(dòng)機(jī)轉(zhuǎn)移狀態(tài)DeltaState

    (2) Delta協(xié)議模型的Promela描述

    SPIN需要接受由Promela語言進(jìn)行描述的協(xié)議或系統(tǒng)模型,并對其進(jìn)行轉(zhuǎn)化和驗(yàn)證.Promela語言是一種用來描述并發(fā)系統(tǒng)(concurrent systems)的模型語言(modelling language),可以使用Promela語言模擬和創(chuàng)建進(jìn)程,表述變量,通過進(jìn)程間信息傳輸?shù)葘δP瓦M(jìn)行描述[13].使用Promela語言對Delta協(xié)議進(jìn)行如下描述.

    Delta協(xié)議的Promela描述1.chan notifFile=[1]of{byte};…/*定義全局消息通道*/2.chan deltaData=[1]of{byte};3.active proctype Library(){4.byte nF=1,sF=1,sD=1,dF=1,dD=1;5.byte rubbish;6.do 7.::notifFile!nF…8.::deltaData!dD 9.od}10.active proctype RP(){/*Library進(jìn)程,模擬文件生成*/11.byte getNoti;…12.byte deltaState;13.do 14.::notifFile?getNoti;15.::(getNoti==0)->goto continue 16.if 17.fi 18.::(notiState==0)->goto refuse…19.::(notiState==2)->goto proDelta 20.proSnapsh:/*RP進(jìn)程變量定義和狀態(tài)轉(zhuǎn)移*/…21.::snapshFile?getSnapsh;22.::(getSnapsh==0)->goto continue 23.if…24.fi 25.::(snapshState==0)->goto refuse 26.progress1:snapshData?getSnapshData 27.::(getSnapshData==0)->goto continue 28.goto continue 29.proDelta:/*RP進(jìn)程中的Snapshot處理狀態(tài)*/…30.::deltaFile?getDelta;31.::(getDelta==0)->goto continue 32.if…33.fi 34.::(deltaState==0)->goto refuse 35.progress2:deltaData?getDeltaData 36.::(getDeltaData==0)->goto continue 37.goto continue…/*RP進(jìn)程中的Delta處理狀態(tài)*/38.refuse:…39.continue:/*RP進(jìn)程中出錯(cuò)或循環(huán)轉(zhuǎn)移狀態(tài)*/…40.od}

    圖5為Promela模型中各進(jìn)程間信息傳遞過程及狀態(tài)轉(zhuǎn)移圖.在Promela模型中,構(gòu)建了兩個(gè)進(jìn)程proctype_Library和proctype_RP分別用以模擬Delta協(xié)議中RPKI資料庫端和RP依賴方的運(yùn)行狀態(tài).proctype_Library進(jìn)程對控制文件的生成和數(shù)據(jù)打包進(jìn)行了模擬,此進(jìn)程為循環(huán)進(jìn)程,若產(chǎn)生文件生成或數(shù)據(jù)打包失敗則循環(huán),生成的文件和數(shù)據(jù)都將被公用全局通道變量notifFile、snapshFile、snapshData、deltaFile、deltaData負(fù)載以供proctype_RP進(jìn)程獲取.proctype_RP為Delta主要的協(xié)議邏輯模擬進(jìn)程,表2中為進(jìn)程中變量與之對應(yīng)的模擬狀態(tài)和模型中取值.

    表2 Delta協(xié)議模型進(jìn)程內(nèi)變量

    proctype_RP進(jìn)程中主要的循環(huán)邏輯在do…od循環(huán)體中,表 2中的狀態(tài)變量則由if…fi結(jié)構(gòu)內(nèi)的語句進(jìn)行隨機(jī)的數(shù)值變換,以表述文件驗(yàn)證或數(shù)據(jù)獲取的成功與否,根據(jù)狀態(tài)數(shù)據(jù)表述的結(jié)果在邏輯處理之間使用goto語句進(jìn)行跳轉(zhuǎn),主要的三個(gè)處理邏輯部分分別為主循環(huán)體中的Notification文件處理邏輯、Snapshot文件處理邏輯proSnapsh和Delta文件處理邏輯proDelta.同時(shí)在Promela模型中標(biāo)注了下述語句:::(1)->progress1: snapshData?getSnapshData和::(1)->progress2:deltaData?getDeltaData分別使用模型標(biāo)記關(guān)鍵字progress用于指示SPIN在驗(yàn)證過程不允許出現(xiàn)從不執(zhí)行語句snapshData?getSnapshData和deltaData?getDeltaData的循環(huán)發(fā)生,因?yàn)榇藘蓷l語句所表示的模型意義分別是從proctype_Library進(jìn)程獲取Snapshot數(shù)據(jù)和Delta數(shù)據(jù),為該驗(yàn)證模型必須可達(dá)的“可接受”狀態(tài).

    (3) Delta協(xié)議模型的SPIN驗(yàn)證

    圖6所示是由Promela模型生成的Delta協(xié)議邏輯自動(dòng)機(jī),其本質(zhì)與圖4自動(dòng)機(jī)相同,只不過在Promela描述中加入了循環(huán)用轉(zhuǎn)移狀態(tài),所以略有差異.

    圖5 Delta協(xié)議Promela模型

    圖6 Promela模型生成的自動(dòng)機(jī)

    圖7為使用SPIN對Delta協(xié)議的Promela模型進(jìn)行驗(yàn)證的結(jié)果,驗(yàn)證結(jié)果表示Delta協(xié)議不存在“死鎖”、“無效循環(huán)”等不安全協(xié)議特性,同時(shí)其協(xié)議邏輯完全可達(dá).

    圖7 Promela模型驗(yàn)證結(jié)果

    圖8為Promela模型的模擬運(yùn)行,共進(jìn)行10 000步模擬運(yùn)行,無任何報(bào)錯(cuò),協(xié)議穩(wěn)定性較高.

    通過上述驗(yàn)證過程,可以從邏輯層面非常嚴(yán)密地證明: Delta協(xié)議不存在“死鎖”、“無效循環(huán)”等不安全協(xié)議特性,同時(shí)其協(xié)議邏輯完全可達(dá),具有非常高的協(xié)議安全性.通過模擬運(yùn)行則可以體現(xiàn)出其具備極高的穩(wěn)定性.

    圖8 Promela模型模擬運(yùn)行

    3 Delta協(xié)議實(shí)現(xiàn)

    Promela構(gòu)建的協(xié)議模型不僅可以對協(xié)議驗(yàn)證進(jìn)行模擬,同時(shí)由于具備完整的協(xié)議結(jié)構(gòu),也可以在協(xié)議的實(shí)現(xiàn)中進(jìn)行指導(dǎo).本文基于Delta的Promela模型,使用Python對Delta協(xié)議進(jìn)行了實(shí)現(xiàn)開發(fā).截止本文撰寫,該Delta功能為國內(nèi)首次實(shí)現(xiàn),源碼已呈現(xiàn)于GitHub供開源使用https://github.com/sihaolin/RPKIDelta-Protocol.表3為該協(xié)議實(shí)現(xiàn)的各主要功能函數(shù),可以從邏輯上完整搭建Delta協(xié)議的工程架構(gòu),望能對其他有需求的開發(fā)者提供參考和幫助.

    4 總結(jié)

    通過上文闡述,可以看出Delta協(xié)議具有較高協(xié)議安全特性,且其協(xié)議邏輯穩(wěn)定.相較于RPKI體系中早期使用的Rsync同步工具,Delta協(xié)議的同步可控性得到大幅提升,增量更新的方式也使得其更新效率大幅提高,嚴(yán)密的控制文件格式驗(yàn)證和HTTPS協(xié)議對傳輸數(shù)據(jù)的加密也使得數(shù)據(jù)同步的安全性得到保障,Delta協(xié)議對資料庫服務(wù)器更少的資源占用則使得服務(wù)器在遭受DDOS攻擊時(shí)具有更高的抵御力.Delta協(xié)議已經(jīng)較為成熟,且具備RPKI體系所需的優(yōu)秀特性,在未來一段時(shí)間內(nèi)將會(huì)完全替代Rsync,成為組成RPKI體系的重要組件.

    表3 Delta實(shí)現(xiàn)的主要功能函數(shù)

    猜你喜歡
    資料庫自動(dòng)機(jī)進(jìn)程
    {1,3,5}-{1,4,5}問題與鄰居自動(dòng)機(jī)
    基于內(nèi)容與協(xié)同過濾的GitHub學(xué)習(xí)資料庫推薦
    國家社科基金重大項(xiàng)目“‘古今字’資料庫建設(shè)與相關(guān)專題研究”成果鑒定會(huì)順利召開
    施工企業(yè)技術(shù)資料庫的建立與完善
    天津科技(2020年5期)2020-01-08 12:27:35
    債券市場對外開放的進(jìn)程與展望
    中國外匯(2019年20期)2019-11-25 09:54:58
    一種基于模糊細(xì)胞自動(dòng)機(jī)的新型疏散模型
    廣義標(biāo)準(zhǔn)自動(dòng)機(jī)及其商自動(dòng)機(jī)
    社會(huì)進(jìn)程中的新聞學(xué)探尋
    我國高等教育改革進(jìn)程與反思
    Linux僵死進(jìn)程的產(chǎn)生與避免
    亚洲欧美日韩无卡精品| 老司机影院成人| 韩国av在线不卡| 国产色爽女视频免费观看| 白带黄色成豆腐渣| 免费播放大片免费观看视频在线观看| 午夜免费鲁丝| 如何舔出高潮| 欧美人与善性xxx| 亚洲精品视频女| 国产成年人精品一区二区| 一区二区三区免费毛片| 18禁动态无遮挡网站| 精品久久久久久久人妻蜜臀av| 精品国产露脸久久av麻豆| 日韩精品有码人妻一区| av国产久精品久网站免费入址| 特大巨黑吊av在线直播| 人妻一区二区av| av.在线天堂| 一区二区av电影网| 亚洲国产最新在线播放| 高清在线视频一区二区三区| 精品国产露脸久久av麻豆| 少妇人妻 视频| 国产精品女同一区二区软件| 成年免费大片在线观看| 中文资源天堂在线| 欧美亚洲 丝袜 人妻 在线| 国产亚洲午夜精品一区二区久久 | av在线亚洲专区| 91久久精品电影网| 久久精品综合一区二区三区| 久久人人爽人人片av| 久热这里只有精品99| 在线天堂最新版资源| 黄片wwwwww| 欧美一区二区亚洲| 中文字幕制服av| 久久热精品热| 爱豆传媒免费全集在线观看| 日韩亚洲欧美综合| 国产免费又黄又爽又色| 国产精品一区二区性色av| 18禁裸乳无遮挡动漫免费视频 | 国产高潮美女av| 丰满人妻一区二区三区视频av| 久久韩国三级中文字幕| 欧美成人午夜免费资源| 老司机影院毛片| 日本午夜av视频| 欧美一区二区亚洲| 久久久久久久大尺度免费视频| kizo精华| 91午夜精品亚洲一区二区三区| 国产男人的电影天堂91| 国产亚洲av嫩草精品影院| 国产精品蜜桃在线观看| 国产精品一区二区在线观看99| 看非洲黑人一级黄片| 最近中文字幕高清免费大全6| 国产精品一区www在线观看| 欧美一级a爱片免费观看看| 在线天堂最新版资源| 一本—道久久a久久精品蜜桃钙片 精品乱码久久久久久99久播 | 午夜精品一区二区三区免费看| av.在线天堂| 97超视频在线观看视频| 久久久久网色| 少妇的逼水好多| 欧美精品一区二区大全| 在线观看国产h片| 免费在线观看成人毛片| 亚洲欧美日韩东京热| 亚洲天堂av无毛| 校园人妻丝袜中文字幕| 国产乱人偷精品视频| 国产男女超爽视频在线观看| 国产亚洲91精品色在线| 久久99热6这里只有精品| 亚洲欧美成人精品一区二区| 日韩伦理黄色片| 色播亚洲综合网| 内地一区二区视频在线| 亚洲欧美精品自产自拍| 国产精品爽爽va在线观看网站| 麻豆乱淫一区二区| 亚洲国产日韩一区二区| 免费电影在线观看免费观看| 2021少妇久久久久久久久久久| 欧美xxxx性猛交bbbb| 久久久精品免费免费高清| 国产成人一区二区在线| 成人黄色视频免费在线看| 嫩草影院新地址| 欧美成人精品欧美一级黄| 少妇高潮的动态图| 97超视频在线观看视频| 三级国产精品片| 一个人看视频在线观看www免费| 亚洲精品日韩av片在线观看| 色视频在线一区二区三区| 在线亚洲精品国产二区图片欧美 | 亚洲最大成人手机在线| 亚洲精品一二三| 亚洲成人精品中文字幕电影| 亚洲精品影视一区二区三区av| 久久久久久久久久久丰满| 美女脱内裤让男人舔精品视频| 国产成年人精品一区二区| 麻豆成人午夜福利视频| 天天一区二区日本电影三级| 免费不卡的大黄色大毛片视频在线观看| 丰满少妇做爰视频| 又黄又爽又刺激的免费视频.| av在线蜜桃| 久久久精品94久久精品| 欧美极品一区二区三区四区| 国产有黄有色有爽视频| 亚洲av电影在线观看一区二区三区 | 国产精品一区二区三区四区免费观看| 午夜激情久久久久久久| 免费看日本二区| 免费大片黄手机在线观看| 亚洲欧美成人综合另类久久久| 18禁裸乳无遮挡免费网站照片| av在线老鸭窝| 日本与韩国留学比较| 亚洲,一卡二卡三卡| 伊人久久国产一区二区| 男女边摸边吃奶| 欧美性感艳星| 欧美高清性xxxxhd video| 99精国产麻豆久久婷婷| 国产黄a三级三级三级人| 亚洲欧美日韩另类电影网站 | 波野结衣二区三区在线| 丰满乱子伦码专区| 内地一区二区视频在线| 男女啪啪激烈高潮av片| 国产精品久久久久久av不卡| 欧美97在线视频| 亚洲一区二区三区欧美精品 | 夜夜看夜夜爽夜夜摸| 2018国产大陆天天弄谢| 久热久热在线精品观看| 身体一侧抽搐| 日本爱情动作片www.在线观看| 丝瓜视频免费看黄片| 精品熟女少妇av免费看| 亚洲av一区综合| 成年av动漫网址| 欧美日韩一区二区视频在线观看视频在线 | 禁无遮挡网站| 国产探花极品一区二区| 亚洲精品色激情综合| 国产精品99久久99久久久不卡 | 亚洲欧美成人综合另类久久久| 欧美xxxx黑人xx丫x性爽| 建设人人有责人人尽责人人享有的 | 亚洲av成人精品一区久久| 在线观看av片永久免费下载| 久久97久久精品| 中文字幕人妻熟人妻熟丝袜美| 交换朋友夫妻互换小说| 日日摸夜夜添夜夜爱| 成人美女网站在线观看视频| 欧美日韩视频精品一区| 丰满少妇做爰视频| 尾随美女入室| 国产亚洲91精品色在线| 欧美高清性xxxxhd video| 亚洲av日韩在线播放| 激情 狠狠 欧美| 欧美成人精品欧美一级黄| av.在线天堂| 久久久精品欧美日韩精品| 蜜桃久久精品国产亚洲av| 成人毛片60女人毛片免费| 久久综合国产亚洲精品| 午夜精品一区二区三区免费看| 欧美亚洲 丝袜 人妻 在线| 午夜福利视频精品| 亚洲欧美成人精品一区二区| 免费不卡的大黄色大毛片视频在线观看| 久久人人爽人人片av| 成人免费观看视频高清| 亚洲av福利一区| 97精品久久久久久久久久精品| 人妻制服诱惑在线中文字幕| 97在线视频观看| 极品教师在线视频| 国产爱豆传媒在线观看| 一级毛片我不卡| 少妇的逼水好多| 国产精品av视频在线免费观看| 国产老妇伦熟女老妇高清| 日日摸夜夜添夜夜添av毛片| 亚洲自偷自拍三级| 久久久久久久国产电影| 欧美亚洲 丝袜 人妻 在线| 97热精品久久久久久| 欧美变态另类bdsm刘玥| 中国三级夫妇交换| 国产69精品久久久久777片| 国产av码专区亚洲av| 久久久精品欧美日韩精品| 国产乱人偷精品视频| 久久久午夜欧美精品| 精品久久久久久久末码| 内射极品少妇av片p| 日韩三级伦理在线观看| 国产精品久久久久久精品古装| 国产熟女欧美一区二区| 亚洲av一区综合| 亚洲av成人精品一区久久| 亚洲精品日韩av片在线观看| 在线免费观看不下载黄p国产| 99久久九九国产精品国产免费| 高清av免费在线| 亚洲精品国产av蜜桃| 91久久精品电影网| 亚洲精品影视一区二区三区av| 欧美变态另类bdsm刘玥| 大码成人一级视频| 亚洲av在线观看美女高潮| 亚洲精品久久久久久婷婷小说| 亚洲高清免费不卡视频| 麻豆成人av视频| 各种免费的搞黄视频| 啦啦啦啦在线视频资源| 成人毛片a级毛片在线播放| 亚洲欧美日韩卡通动漫| 日日摸夜夜添夜夜添av毛片| 国产亚洲午夜精品一区二区久久 | 国产男女内射视频| 精品人妻一区二区三区麻豆| 美女主播在线视频| 麻豆精品久久久久久蜜桃| 99视频精品全部免费 在线| 99九九线精品视频在线观看视频| 成年女人在线观看亚洲视频 | 成人综合一区亚洲| www.色视频.com| 韩国高清视频一区二区三区| 久久精品人妻少妇| 在线 av 中文字幕| 全区人妻精品视频| 好男人视频免费观看在线| 尾随美女入室| 精品一区在线观看国产| 免费少妇av软件| 最新中文字幕久久久久| 美女高潮的动态| 国内精品美女久久久久久| 69人妻影院| 日韩电影二区| 免费电影在线观看免费观看| 久久精品国产亚洲av天美| 日产精品乱码卡一卡2卡三| 国内精品宾馆在线| 在线天堂最新版资源| 精品少妇久久久久久888优播| 成人欧美大片| 啦啦啦在线观看免费高清www| 成人亚洲精品av一区二区| 日韩av不卡免费在线播放| 欧美xxxx黑人xx丫x性爽| 伦精品一区二区三区| 99久久中文字幕三级久久日本| 男人狂女人下面高潮的视频| 一区二区三区精品91| 国内精品宾馆在线| 全区人妻精品视频| 丰满少妇做爰视频| 久久女婷五月综合色啪小说 | 欧美潮喷喷水| 亚洲av福利一区| 丝瓜视频免费看黄片| 久久99蜜桃精品久久| 在线 av 中文字幕| 国产成人精品久久久久久| 国产成人免费无遮挡视频| 熟女av电影| 中文精品一卡2卡3卡4更新| 欧美高清性xxxxhd video| 亚洲精品,欧美精品| 久久久久网色| 在线看a的网站| 嫩草影院入口| 国产精品一区二区三区四区免费观看| 久久99热这里只频精品6学生| 国产午夜精品一二区理论片| 日本猛色少妇xxxxx猛交久久| 亚洲人成网站在线播| 日产精品乱码卡一卡2卡三| 中文乱码字字幕精品一区二区三区| 三级经典国产精品| 91在线精品国自产拍蜜月| 小蜜桃在线观看免费完整版高清| 夫妻午夜视频| 美女被艹到高潮喷水动态| av免费在线看不卡| av黄色大香蕉| 免费av毛片视频| 嘟嘟电影网在线观看| 亚洲精品自拍成人| 最近2019中文字幕mv第一页| 在线观看av片永久免费下载| 黄色视频在线播放观看不卡| 1000部很黄的大片| 日韩免费高清中文字幕av| 女人久久www免费人成看片| 听说在线观看完整版免费高清| 国产探花在线观看一区二区| 大片电影免费在线观看免费| 国产色婷婷99| 国产男人的电影天堂91| 国产色婷婷99| 午夜激情久久久久久久| 国产淫语在线视频| 国产男人的电影天堂91| 青春草视频在线免费观看| 久久久久久伊人网av| 中文字幕亚洲精品专区| 在线观看一区二区三区| 免费看日本二区| 一区二区三区精品91| 51国产日韩欧美| 日本黄大片高清| 久久久久九九精品影院| 最近中文字幕2019免费版| 校园人妻丝袜中文字幕| 国产一区二区三区综合在线观看 | 久久99热6这里只有精品| 久久精品人妻少妇| 亚洲精品成人av观看孕妇| 纵有疾风起免费观看全集完整版| 狠狠精品人妻久久久久久综合| 久久99精品国语久久久| 热re99久久精品国产66热6| 亚洲激情五月婷婷啪啪| 中文乱码字字幕精品一区二区三区| 人体艺术视频欧美日本| 日韩欧美精品免费久久| 人体艺术视频欧美日本| 国产亚洲av嫩草精品影院| 人体艺术视频欧美日本| 毛片女人毛片| 寂寞人妻少妇视频99o| 午夜老司机福利剧场| av福利片在线观看| 18禁裸乳无遮挡免费网站照片| 欧美最新免费一区二区三区| 国产精品久久久久久av不卡| 久久久久久久久久人人人人人人| 亚洲va在线va天堂va国产| 色网站视频免费| 18禁在线无遮挡免费观看视频| 欧美激情久久久久久爽电影| 国产av国产精品国产| 看免费成人av毛片| 卡戴珊不雅视频在线播放| 亚洲最大成人中文| 久久韩国三级中文字幕| 黄色配什么色好看| 卡戴珊不雅视频在线播放| 国产毛片a区久久久久| 天美传媒精品一区二区| 99re6热这里在线精品视频| 国产综合精华液| 尾随美女入室| 成人漫画全彩无遮挡| 日韩在线高清观看一区二区三区| 美女xxoo啪啪120秒动态图| 亚洲精华国产精华液的使用体验| 亚洲av一区综合| 搞女人的毛片| 一二三四中文在线观看免费高清| 亚洲经典国产精华液单| 欧美日韩国产mv在线观看视频 | 日韩大片免费观看网站| 国产色婷婷99| 男女国产视频网站| 熟女av电影| 18禁在线播放成人免费| 久久久久国产网址| 91精品伊人久久大香线蕉| 亚洲经典国产精华液单| 婷婷色综合www| 免费观看在线日韩| 久久久久精品性色| 亚洲精品日韩在线中文字幕| 韩国高清视频一区二区三区| 少妇被粗大猛烈的视频| 伊人久久国产一区二区| 我的女老师完整版在线观看| 国产色婷婷99| 麻豆国产97在线/欧美| a级一级毛片免费在线观看| 国产精品三级大全| 欧美变态另类bdsm刘玥| 国产综合精华液| 天天一区二区日本电影三级| 好男人视频免费观看在线| 99视频精品全部免费 在线| 高清欧美精品videossex| 亚洲欧美一区二区三区黑人 | 欧美成人a在线观看| 国产精品一区二区在线观看99| 亚洲国产最新在线播放| 人妻夜夜爽99麻豆av| 亚洲成人久久爱视频| freevideosex欧美| 晚上一个人看的免费电影| 免费播放大片免费观看视频在线观看| videos熟女内射| 五月玫瑰六月丁香| 赤兔流量卡办理| 99九九线精品视频在线观看视频| 免费大片黄手机在线观看| 六月丁香七月| 欧美区成人在线视频| 亚洲四区av| 亚洲精品aⅴ在线观看| 国产黄色视频一区二区在线观看| 亚洲自拍偷在线| 国产欧美日韩一区二区三区在线 | 国产伦精品一区二区三区四那| 精品一区在线观看国产| 伊人久久精品亚洲午夜| 欧美成人一区二区免费高清观看| 亚洲av日韩在线播放| 欧美xxxx性猛交bbbb| 日本与韩国留学比较| 国产欧美日韩一区二区三区在线 | 欧美xxxx性猛交bbbb| 久久久亚洲精品成人影院| 天堂俺去俺来也www色官网| 国产真实伦视频高清在线观看| 精品99又大又爽又粗少妇毛片| 亚洲国产av新网站| 午夜精品一区二区三区免费看| 久久久久久久午夜电影| 亚洲,欧美,日韩| 丝袜美腿在线中文| 天堂中文最新版在线下载 | 免费观看av网站的网址| 水蜜桃什么品种好| 黄片无遮挡物在线观看| 亚洲久久久久久中文字幕| 日日撸夜夜添| 成人午夜精彩视频在线观看| 亚洲精品久久午夜乱码| 国产av码专区亚洲av| 亚洲欧美中文字幕日韩二区| 2021天堂中文幕一二区在线观| 特大巨黑吊av在线直播| 日韩大片免费观看网站| 少妇的逼水好多| 精品少妇久久久久久888优播| 波野结衣二区三区在线| 下体分泌物呈黄色| 黄片无遮挡物在线观看| 尤物成人国产欧美一区二区三区| 国产成人福利小说| 免费看光身美女| 欧美xxxx黑人xx丫x性爽| 两个人的视频大全免费| 热re99久久精品国产66热6| 亚洲欧洲国产日韩| 欧美97在线视频| 听说在线观看完整版免费高清| 色综合色国产| 老司机影院成人| 免费看a级黄色片| 亚洲美女搞黄在线观看| 自拍欧美九色日韩亚洲蝌蚪91 | 午夜精品一区二区三区免费看| 亚洲精品国产色婷婷电影| 伊人久久精品亚洲午夜| 午夜福利视频1000在线观看| 国产精品国产三级专区第一集| 国产精品蜜桃在线观看| 国产成年人精品一区二区| 久久久欧美国产精品| 久久6这里有精品| 日本免费在线观看一区| 三级国产精品片| 国产精品秋霞免费鲁丝片| 国产成人a区在线观看| 嫩草影院精品99| 女人久久www免费人成看片| 热99国产精品久久久久久7| 国产极品天堂在线| 九九爱精品视频在线观看| 啦啦啦在线观看免费高清www| 国产伦理片在线播放av一区| 欧美日韩国产mv在线观看视频 | 男女国产视频网站| 久久久久久久久久久免费av| 亚洲欧美中文字幕日韩二区| 亚洲精品成人久久久久久| 免费黄频网站在线观看国产| 激情 狠狠 欧美| 亚洲成色77777| 黄色视频在线播放观看不卡| 在线观看一区二区三区| 成年女人在线观看亚洲视频 | 亚洲欧美精品自产自拍| 啦啦啦啦在线视频资源| 18禁裸乳无遮挡动漫免费视频 | 六月丁香七月| 日韩av在线免费看完整版不卡| 欧美日韩亚洲高清精品| 啦啦啦在线观看免费高清www| 麻豆成人av视频| 18禁裸乳无遮挡免费网站照片| 亚洲精品乱码久久久久久按摩| 成年av动漫网址| 精品久久久久久久久av| 大香蕉久久网| 国产片特级美女逼逼视频| 亚洲精品日韩av片在线观看| 成人美女网站在线观看视频| 亚洲精品久久午夜乱码| 大话2 男鬼变身卡| 欧美 日韩 精品 国产| 精品午夜福利在线看| 欧美人与善性xxx| 美女cb高潮喷水在线观看| 自拍偷自拍亚洲精品老妇| 涩涩av久久男人的天堂| 欧美性猛交╳xxx乱大交人| 精品国产一区二区三区久久久樱花 | 18禁裸乳无遮挡免费网站照片| 七月丁香在线播放| 亚洲无线观看免费| 一本久久精品| 久久99精品国语久久久| 国产色爽女视频免费观看| 免费大片18禁| 国产av码专区亚洲av| 99热这里只有是精品在线观看| 菩萨蛮人人尽说江南好唐韦庄| 人人妻人人看人人澡| 一区二区三区免费毛片| 蜜臀久久99精品久久宅男| 亚洲国产精品国产精品| 亚洲av电影在线观看一区二区三区 | 少妇裸体淫交视频免费看高清| 免费观看在线日韩| 一级黄片播放器| 高清日韩中文字幕在线| 日韩成人伦理影院| 国产亚洲av嫩草精品影院| 亚洲精品日韩av片在线观看| 精品一区二区三卡| 色播亚洲综合网| 亚洲精品视频女| 新久久久久国产一级毛片| 一级二级三级毛片免费看| 亚洲第一区二区三区不卡| 国产一级毛片在线| 麻豆国产97在线/欧美| 成人亚洲精品一区在线观看 | 国产91av在线免费观看| 丰满乱子伦码专区| 熟女电影av网| 国产精品久久久久久久久免| 国产精品三级大全| 亚洲成人av在线免费| 免费在线观看成人毛片| 丰满人妻一区二区三区视频av| 搞女人的毛片| 亚洲欧美中文字幕日韩二区| 日韩制服骚丝袜av| 亚洲三级黄色毛片| 欧美成人a在线观看| 免费高清在线观看视频在线观看| 中文在线观看免费www的网站| 视频中文字幕在线观看| 边亲边吃奶的免费视频| 久久久久久久久久久丰满| 美女xxoo啪啪120秒动态图| 大话2 男鬼变身卡| 熟妇人妻不卡中文字幕| 激情 狠狠 欧美| 亚洲欧美精品自产自拍| 亚洲久久久久久中文字幕| 激情 狠狠 欧美| 亚洲欧美一区二区三区黑人 | 性色av一级| 大片电影免费在线观看免费| 亚洲经典国产精华液单| 国产亚洲一区二区精品| 国产av不卡久久| 人人妻人人澡人人爽人人夜夜| 韩国高清视频一区二区三区| 又粗又硬又长又爽又黄的视频| 五月开心婷婷网| 久久精品国产亚洲网站| 在线观看三级黄色| 亚洲av二区三区四区| 麻豆精品久久久久久蜜桃| 国产精品人妻久久久影院| 少妇高潮的动态图| 麻豆精品久久久久久蜜桃| 国产亚洲91精品色在线| .国产精品久久| 成人鲁丝片一二三区免费| 一级a做视频免费观看| 99视频精品全部免费 在线| 晚上一个人看的免费电影| 亚洲最大成人av|