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

    安全多執(zhí)行機(jī)制的無干擾性研究

    2015-12-26 12:24馬文輝郭云川張會兵
    軟件 2015年6期

    馬文輝+郭云川+張會兵

    摘要:無干擾是安全信息流的一個重要需求,安全多執(zhí)行(SME)是實(shí)施無干擾的一種重要方式。本文通過實(shí)例指出了反應(yīng)系統(tǒng)中SME模型在并發(fā)調(diào)度下可能違背運(yùn)行無干擾特性,分析了導(dǎo)致這種情況的原因,提出了相應(yīng)的解決方案。

    關(guān)鍵詞:無干擾;安全多執(zhí)行;反應(yīng)系統(tǒng)

    中圖分類號:TP311.1

    文獻(xiàn)標(biāo)識碼:A

    DOI:10.3969/jissti.1003-6970.2015.06.015

    本文著錄格式:馬文輝,郭云川,張會兵,等,安全多執(zhí)行機(jī)制的無干擾性研究[J].軟件,2015,36(6):83-87

    ResearchonFacial-IightingNormalizationMethods

    MAWen-hui1,GUOYun_chuan2,ZHANGHui-bing3

    [Abstract]:SecureMulti-Execution(SME)isanimportantapproachforenforcingnon-interference,whichisacriticalrequirementinthefieldofsecureinformationflow.Inthispaper,RS-SMEsupportingasynchronousI/O,isanalyzed.TheresultshowsthatRS-SMEviolatesnon-interferencewhenexecutedinaconcurrentenvironment.Thereasonanditscorrespondingsolutionareproposed.

    [Keywords]:Non-interference;Securemulti-execution;Reactivesystem

    0引言

    信息流(InformationFlow)控制通過規(guī)定系統(tǒng)中不同客體間的信息流動關(guān)系來保證信息的合法流動,同傳統(tǒng)方法相比,信息流控制不僅可以約束信息的顯式流動,而且可以控制信息的隱式流動(實(shí)際上信息流中顯式流動為隱式流動的一個實(shí)例),從而防止相互影響而帶來的非法信息流,在信息安全領(lǐng)域中信息流控制是一種較為基礎(chǔ)的方法。信息流控制的目標(biāo)為:防止攻擊者通過分析觀測某種(些)操作而導(dǎo)致的系統(tǒng)上下文環(huán)境改變來推斷信息,其核心技術(shù)手段是增加不確定性。如攻擊者Bob希望獲取Alice的信息,但受訪問策略等的約束,Bob不能直接讀取Alice的信息,在這種情況下Bob可通過觀測Alice的操作對上下文環(huán)境的改變來推斷Alice相關(guān)信息,其防護(hù)方法是增加Alice操作的不確定性。

    無干擾是保障信息流安全的基本方式,目前有三種基本機(jī)制:限制計算[1]、緩解(Mitigation)[2]及安全多執(zhí)行(SecureMulti-Execution,SME)機(jī)制[3]。限制計算是通過對計算進(jìn)行某種方式的約束(如約束程序語言中的條件及循環(huán)語句),從而避免泄露信息;與限制方式不同,緩解方式的基本假設(shè)是現(xiàn)實(shí)系統(tǒng)中完全避免信息泄露是不可能的,只要信息泄露量(或泄露帶寬)在容許范圍內(nèi)即可。在這兩種機(jī)制中,限制計算提供了無干擾性質(zhì),但由于對計算進(jìn)行了約束,因此其表達(dá)能力受到限制;雖然緩解方式未約束計算行為,但其允許信息泄漏,因此,不是真正意義上無干擾。針對這兩種方式的不足,2010年研究者提出了一種全新的保障無干擾機(jī)制SME[3],其核心思想是每個安全級主體均調(diào)度執(zhí)行程序,不同安全級執(zhí)行時保證只能接收同等或低安全級的輸入,并在同等安全級輸出。該方式的主要優(yōu)點(diǎn)是任意程序(包括不滿足無干擾的程序)均能以無干擾方式執(zhí)行,同時不改變無干擾程序的行為。

    由于SME的內(nèi)在優(yōu)點(diǎn)使得研究者圍繞SME在安全策略、安全語言及安全實(shí)施等方面展開了眾多研究,代表性的工作包括:在安全策略方面,針對[3]的全序執(zhí)行策略,[4]指出該策略只能保障可比較級上的弱無干擾,對于不可比較級不能保障任何無干擾,并提出了格模式執(zhí)行策略,該策略能夠保障可比較標(biāo)簽上的強(qiáng)無干擾及不可比較級上的弱無干擾。在安全語言方面,[5]借鑒SME在動態(tài)信息流環(huán)境中針對JavaScript引入方面值(FacetedValue),利用單進(jìn)程模擬高低安全級的多執(zhí)行,該方法保證最小開銷,同時不依賴以前動態(tài)方式的阻塞執(zhí)行,以此獲得無干擾性質(zhì)。在安全實(shí)施方面,[6]首次設(shè)計了針對Haskell語言的SME庫核。[8,9]擴(kuò)展了概率.時間進(jìn)程代數(shù),設(shè)計時間.概率無干擾的一致性建模方法,并以此為基礎(chǔ)給出了度量方法[10,11]給出了面向機(jī)密性和完整性的融合模型。

    特別地,[7]在輕量級Firefox瀏覽器中實(shí)施了基于反應(yīng)系統(tǒng)(ReactiveSystem,RS)的SME(稱之為RS-SME),并替換和完善了SOP策略(SameOriginPolicy)。同[3,4]的I/O同步執(zhí)行不同,‘71采用異步SME執(zhí)行,由于取消了同步等待機(jī)制,因此其效率優(yōu)于[3,4]。雖然[7]證明了多執(zhí)行機(jī)制的無干擾性,但其關(guān)注的無干擾只涉及反應(yīng)系統(tǒng)本身的輸入與輸出。本文通過分析指出:RS-SME的多執(zhí)行機(jī)制在并發(fā)調(diào)度下會對運(yùn)行環(huán)境(CPU及內(nèi)存占用等)帶來不可忽視的影響,從而導(dǎo)致違背運(yùn)行無干擾(我們稱之為運(yùn)行無干擾),分析了出現(xiàn)了這種情況的原因,給出了相應(yīng)的解決方案。

    1RS-SME模型

    RS-SME的總體思想如下:系統(tǒng)行為用反應(yīng)系統(tǒng)來建模,每個反應(yīng)系統(tǒng)中對每個輸入都對應(yīng)一個(系列)輸出,在運(yùn)行時每個安全級主體均執(zhí)行反應(yīng)系統(tǒng)中的相關(guān)變遷,其執(zhí)行過程采用“封套(wrapper)”進(jìn)行調(diào)度,以此保障只接受低于自身安全級的輸入,執(zhí)行相同安全的輸出,進(jìn)而提供無干擾性質(zhì),下面介紹與RS-SME相關(guān)的概念[7]。

    定義.反應(yīng)系統(tǒng)為五元組(ConsumerState,ProducerState,Input,Output,_÷),其中,ConsumerState為所有消費(fèi)狀態(tài)集合,ProducerState為所有生產(chǎn)狀態(tài)集合,Input和Output分別為輸入和輸出×字母表。令State=ConsumerStateUProducerState,Act=InputUOutput,_÷[StatexActxState為帶狀態(tài)轉(zhuǎn)移集(為了簡潔,后文用帶標(biāo)簽方式來表示),其約束為:

    (1)對所有的C∈ConsumerState,若C與Q,則a∈Input,且Q∈ProducerState;

    (2)對所有的P∈ProducerState,若P3Q,則a∈Output;

    (3)對所有C∈ConsumerState及f∈Input,則存在P∈ProducerState使得C~P;

    (4)對所有P∈ProducerState及o∈Output,則存在Q∈State使得P與Q。

    約束(1)要求:對所有消費(fèi)狀態(tài),如果在該狀態(tài)接受一個動作之后轉(zhuǎn)移到下一個狀態(tài),則該動作一定是一個輸入動作,下~個狀態(tài)一定是生產(chǎn)狀態(tài)。約束(2)要求:對所有生產(chǎn)狀態(tài),如果在該狀態(tài)接受一個動作之后轉(zhuǎn)移到下一個狀態(tài),則該動作一定是一個輸出動作。注意:同約束(1)相比,約束(2)中的下一個狀態(tài)不一定要求是消費(fèi)狀態(tài)。約束(3)要求:對所有消費(fèi)狀態(tài)和所有輸入,一定存在一個生產(chǎn)狀態(tài)使得在該消費(fèi)狀態(tài)接收該輸入之后轉(zhuǎn)移到該生產(chǎn)狀態(tài)。約束(4)要求:對所有生產(chǎn)狀態(tài)和所有輸出,一定存在一個狀態(tài)(不一定要求是消費(fèi)狀態(tài))使得在該生產(chǎn)狀態(tài)輸出之后轉(zhuǎn)移到某個狀態(tài)。

    給定一個反應(yīng)系統(tǒng),其流(stream)定義為,其中,s∈Act。用I和0分別表示輸入流和輸出流,令Q(I)0表示在Q狀態(tài)輸入流I對應(yīng)的輸出流為0,其形式定義為:

    為保障系統(tǒng)無干擾地執(zhí)行,RS-SME提出了使用“封套”進(jìn)行調(diào)度,封套是一個二元組(R,L),其中,R:£:Sta,te,為從安全級到反應(yīng)系統(tǒng)狀態(tài)的映射,c為安全級集合,R(,)表示在安全級,上子執(zhí)行的運(yùn)行狀態(tài);三為處于生產(chǎn)狀態(tài)所有子執(zhí)行的調(diào)度表。若三=≯,(月,三)表示封套處于消費(fèi)狀態(tài),否則處于生產(chǎn)狀態(tài)。封套的初始狀態(tài)為(月,咖,其中,對所有的l∈£,R(,)是原反應(yīng)系統(tǒng)的初始狀態(tài)。封套的形式語義如圖1所示。

    其中,fbf:,4ct_÷£為從輸入、輸出到安全級的映射,表示對反應(yīng)系統(tǒng)的輸入或輸出的安全級,DROPc和DROPP中的‘表示不可見動作,如,內(nèi)部動作。Upper:Act_÷2c定義為Upper:Act(a)=(t|t》lbl(a))。LOAD規(guī)則通過將低安全級輸入自動傳輸?shù)礁甙踩墸瑥亩鑼ν惠敵龅亩啻螆?zhí)行。

    2安全分析

    RS-SME模型提供無干擾的核心規(guī)則包括兩條:(1)通過LOAD規(guī)則保障僅當(dāng)子程序的運(yùn)行安全級大于等于輸入安全級時,才能接收輸入進(jìn)而轉(zhuǎn)移到后繼狀態(tài),否則,子程序只能處于原狀態(tài);(2)通過DROPc和DROPP規(guī)則保障僅當(dāng)子程序的運(yùn)行安全級等于輸出安全級時才能輸出。在單核處理器中,封套只能通過分時復(fù)用CPU來執(zhí)行子執(zhí)行,在每個時間片內(nèi)只能運(yùn)行單個子程序,這使得不能通過區(qū)分子程序運(yùn)行的數(shù)量來違反無干擾性。然而,在多核處理器中子程序可以同時運(yùn)行,這使得可通過運(yùn)行不同數(shù)量的子執(zhí)行來區(qū)分信息,從而違反無干擾性,下面以實(shí)例來說明。

    例.給定反應(yīng)系統(tǒng)RSo,如圖2所示,其中,ConsumerState={Co,Cl},ProducerState={P},Input={ai,a2,a3},OutPut=,初始狀態(tài)為Co。令Co=令={l1,l2,l3},,并滿足,1≤l2≤l3,lbl定義為f6,(a1)=l1bl,(a2)=f2、f6,(a3)=f3、l6l(6)=l2。

    為了便于描述,將圖2所示的反應(yīng)系統(tǒng)RSo拆分為RSl-RS3,分別如圖3圖5所示,下面對封套的狀態(tài)進(jìn)行分析:

    (1)依據(jù)封套的定義,RSl-RS3的初始狀態(tài)均為(R,φ),其中,R(,1)=R(,2)=R(,3)=C0;

    (2)初始狀態(tài)下唯一能采用的規(guī)則是LOAD規(guī)則,依據(jù)LOAD規(guī)則,不同的輸入導(dǎo)致封套的狀態(tài)(R,L)不同,如下:(2.1)對于RS1,相應(yīng)的狀態(tài)遷移為:(2.2)對于RS2,相應(yīng)的狀態(tài)遷移為:

    (2.3)對于RS3,相應(yīng)的狀態(tài)遷移為:,其中,

    (3)在(2)中三種封套均處于生產(chǎn)狀態(tài),對于每種生產(chǎn)狀態(tài),不同的調(diào)度策略有不同的調(diào)度行為,假設(shè)調(diào)度策略采用文[4]的順序策略Sequential-2,即,優(yōu)先執(zhí)行最低安全級,且在該執(zhí)行終止之前不執(zhí)行其它子執(zhí)行,下面以RSi為例進(jìn)行分析:

    (3.1)在/l級執(zhí)行時,由于f6,(6)≠,l,因此唯一能采用的規(guī)則為DROPc,此時,為不可見輸m,相應(yīng)的狀態(tài)遷移為:(R',l1::{l2,l3))_÷(R'',{l2,l3))),其中,R''(l1)=C1、R''(l2)=R''(l3)=P.

    (3.2)對于(R'',{l2,l3}),由于采用低安全級優(yōu)先策略,即,l2安全級優(yōu)先執(zhí)行,同時由于,6,(6)=l2,因此,唯一能采用的規(guī)則為OUTc,輸出b,相應(yīng)的變遷為(R'l2::{l3})與(R''',{l3}),其中,R'''(l1)=R'''(l2)=C1、R'''(l3)=P:

    (3.3)對于(R''',{l3},由于lbl(b)≠l3,因此唯一能采用的規(guī)則為DROPC,此時,為不可見輸出,相應(yīng)的狀態(tài)遷移為:(R''',l3::{})→(R'''',{})),其中,R''''(l1)=R''''(l2)=R''''(l3)=C1。

    在RS1中,對于輸入數(shù)據(jù)a1(安全級為,,)、輸出數(shù)據(jù)b(安全級為,l2),運(yùn)行級為l1的子程序可接收al但不能輸出數(shù)據(jù)b;運(yùn)行級為l2的子程序可接收a,、也能輸出數(shù)據(jù)b;運(yùn)行級為,,的子程序可接收a1、但不能輸出數(shù)據(jù)b。

    類似地,在RS2中,對于輸入數(shù)據(jù)a2(安全級為l2))、輸出數(shù)據(jù)6,運(yùn)行級為,,的子程序不接收a2、也不能輸出數(shù)據(jù)b;運(yùn)行級為,l2的子程序接收a2、同時輸出數(shù)據(jù)6;運(yùn)行級為l3的子程序接收a2、但不能輸出數(shù)據(jù)b。

    在RS3中,對于輸入數(shù)據(jù)a3(安全級為l3)、輸出數(shù)據(jù)6,運(yùn)行級為l1和l2的子程序不接收a3、也不能輸出數(shù)據(jù)b;運(yùn)行級為,l3的子程序接收a2、但不輸出數(shù)據(jù)b。

    從上面的分析可以看出;對于無干擾系統(tǒng)(RSi和RS2),SME不改變執(zhí)行結(jié)果,對于違背無干擾的系統(tǒng)(RS3),在串行執(zhí)行情況下可以無干擾方式執(zhí)行。

    上面的例子是串行方式中多次執(zhí)行來保障無干擾,然而,子執(zhí)行并發(fā)調(diào)度時可能導(dǎo)致違背無干擾性質(zhì)。假定在共享內(nèi)存的多核處理器中,相同處理器內(nèi)核的安全級相同,不同處理器內(nèi)核的安全級不同。在這種多執(zhí)行方式下若采用異步調(diào)度策略,由于異步策略不等待其它子程序運(yùn)行終止,因此,可能導(dǎo)致多個子執(zhí)行并發(fā)運(yùn)行。子執(zhí)行并發(fā)的數(shù)量不同會對程序運(yùn)行環(huán)境造成影響(如耗用不同的內(nèi)存),這使得即使對于本身滿足無干擾性質(zhì)的程序也可能導(dǎo)致使得并發(fā)多執(zhí)行機(jī)制不滿足無干擾性質(zhì),我們稱這種無干擾為運(yùn)行無干擾,下面進(jìn)行分析。

    如圖2所示,在RSo中由于對于任意安全級的輸入(ai、a2和a3),總是輸出b,即,輸出的b不能用來確定具體輸入,因此,RSo自身滿足無干擾性質(zhì)。然而在并發(fā)執(zhí)行中對于不同輸入相應(yīng)后繼狀態(tài)可調(diào)度執(zhí)行的子程序數(shù)量不同。假設(shè)RSo在四核處理器上運(yùn)行,每個內(nèi)核命名為corelcore4,其中,core1、core2和core3的安全級分別為l1,l2及l(fā)3,即,分別以l1、l2及l(fā)3的安全級來執(zhí)行子執(zhí)行,core4用作調(diào)度封套,即調(diào)度core1、core2和core3的執(zhí)行。當(dāng)輸人a1(a1的安全級為l1)后,依據(jù)多執(zhí)行中異步并發(fā)調(diào)度策略,core4將調(diào)度安全級高于l1的內(nèi)核處理器執(zhí)行RSo中P狀態(tài)下的子執(zhí)行,即core1、core2和core3將并發(fā)執(zhí)行P狀態(tài)下的子執(zhí)行;類似地,當(dāng)輸人a2(a2的安全級為l2,)后,core4調(diào)度core2和core3并發(fā)執(zhí)行P狀態(tài)下的子執(zhí)行;當(dāng)輸人a3(a3的安全級為l3)后,core4僅調(diào)度core3執(zhí)行P狀態(tài)下的子執(zhí)行。若每個子執(zhí)行占用相同的內(nèi)存,則輸入a1后內(nèi)存占有量高于輸入a2后內(nèi)存占有量,輸人a2后內(nèi)存占有量高于輸入a3后內(nèi)存占有量,由此,通過觀察內(nèi)存的使用可獲得高安全級的執(zhí)行情況,因此,并發(fā)執(zhí)行時不同輸入可能導(dǎo)致子執(zhí)行的執(zhí)行數(shù)量不同,從而違背無干擾性質(zhì)。

    上述未能保障無干擾性質(zhì)的根本原因是沒有對并發(fā)子執(zhí)行的數(shù)量進(jìn)行約束,這導(dǎo)致安全級輸入并發(fā)子執(zhí)行的數(shù)量不同,從而可能違背無干擾性質(zhì)。為了解決這個問題,一種方式是在任意時刻均使得并發(fā)子執(zhí)行的數(shù)量相同,并分配相同的內(nèi)存。當(dāng)沒有更多的子執(zhí)行需要執(zhí)行時,則執(zhí)行空操作使得低安全級不可區(qū)分,以此保障無干擾性質(zhì)。如,在RSo中輸入a2后,通過core4,增加一個空子執(zhí)行并分配相應(yīng)的內(nèi)存;輸人a3后,通過core4,增加兩個空子執(zhí)行并分配相應(yīng)的內(nèi)存,這樣使得低安全級不可區(qū)分高安全級的輸入。

    3結(jié)論

    安全信息流是保障信息不被直接或間接泄露的一項關(guān)鍵需求,無干擾是安全信息流的一個重要指標(biāo)。本文通過實(shí)例指出了RS-SME在并發(fā)調(diào)度下可能違背運(yùn)行無干擾,分析了出現(xiàn)了這種情況的原因,指出了相應(yīng)的解決方案。雖然SME在保障安全執(zhí)行方面具有重大優(yōu)勢,但是這種安全多執(zhí)行是非確定的并未考慮概率因素,然而很非確定執(zhí)行下能保障無干擾,并不意味著在概率執(zhí)行情況下也能保障無干擾,這使得需要進(jìn)一步研究概率執(zhí)行條下如何通過SME機(jī)制來保證無干擾。在未來我們將把安全多執(zhí)行機(jī)制應(yīng)用到復(fù)雜系統(tǒng)安全分析[12,13]中。

    參考文獻(xiàn)

    [1]BartheG,RezkT,WarmierM.PreventingTimingLeaksthroughTransactionalBranchingInstructions[C].ElectronicNotesinTheoreticalComputerScience.2006,33—55.

    [2]AskarovA,MyersAC,ZhangD.PredictiveBlack-BoxMitigationofTimingChannels[C].ACMConferenceonComputerandCommunicationsSecurity.2010,297-307.

    [3]DevrieseD,PiessensF.NoninterferencethroughSecureMulti-Execution[C].IEEESymposiumonSecurityandPrivacy.2010,109-124.

    [4]KashyapV,WiedermannB,HardekopfB.Timing-andTermination-SensitiveSecureInformationFlow:ExploringaNewApproach[C].IEEESymposiumonSecurityandPrivacy.2011,413-428.

    [5]AustinTH,F(xiàn)lanaganC.MultipleFacetsforDynamicInformationFlow[C].ProceedingsoftheACMSymposiumonPrinciplesofProgrammingLanguages.2012,165-178.

    [6]JaskelioffM,RussoA[C].SecureMulti-ExecutioninHaskell.ProceedingsofAndreiErshovInternationalConferenceonPerspectivesofSystemInformatics.2011.

    [7]BielovaN,DevrieseD,MassacciF,PiessensF.ReactiveNon-InterferenceforaBrowserModel[C].InternationalConferenceonNetworkandSystemSecurity.2011,97-104.

    [8]郭云川,周淵,丁麗,等.基于概率干擾的概率隱蔽通道仿真研究[J].通信學(xué)報,2009,30(2):59-64.

    [9]李超,殷麗華,郭云川.基于ptSPA的概率時間信息流安全屬性分析[J].計算機(jī)研究與發(fā)展,2011,48(08):1370-1380.

    [10]SUNDonghong,GUOYunchuan,YINLihu,HUChangzhen.ComparisonofMeasuringInformationLeakageforFullyProbabilisticSystems[J].InternationalJournaloflnnovativeComputingInformationandControl.2012,8(1):255-268.

    [11]郭云川,方濱興,殷麗華,等.一種面向移動計算的機(jī)密性與完整性模型[J].計算機(jī)學(xué)報,2013,36(7):1424-1433.

    [12]韓丹,郭燕慧,楊義先.復(fù)雜信息系統(tǒng)結(jié)構(gòu)脆弱性分析方法研究[J].新型工業(yè)化,2012,2(10):35-41.

    [13]江連峰,趙佳寶.復(fù)雜事件處理技術(shù)及其應(yīng)用綜述[J].軟件,2014,35(2):188-192.

    亚洲精品乱码久久久v下载方式| 日本猛色少妇xxxxx猛交久久| freevideosex欧美| 亚洲成色77777| 日韩成人av中文字幕在线观看| 成人国产av品久久久| 91在线精品国自产拍蜜月| 日韩强制内射视频| 国产亚洲91精品色在线| 日韩精品有码人妻一区| 蜜臀久久99精品久久宅男| 国产免费又黄又爽又色| 少妇被粗大猛烈的视频| 亚洲精品色激情综合| 18禁在线播放成人免费| 国产在视频线精品| 成人鲁丝片一二三区免费| 在线亚洲精品国产二区图片欧美 | 一区二区av电影网| 成人毛片a级毛片在线播放| 久久精品国产亚洲av涩爱| 18+在线观看网站| 少妇的逼水好多| 欧美人与善性xxx| 精品国产露脸久久av麻豆| 中文字幕av成人在线电影| 亚洲天堂av无毛| 久久精品人妻少妇| 亚洲人成网站高清观看| 成人漫画全彩无遮挡| 观看美女的网站| 少妇裸体淫交视频免费看高清| 毛片一级片免费看久久久久| 一本久久精品| 在线 av 中文字幕| 亚洲精品久久午夜乱码| 色5月婷婷丁香| 欧美潮喷喷水| 人妻一区二区av| 国产探花极品一区二区| 欧美日本视频| 搞女人的毛片| 麻豆成人av视频| 成人免费观看视频高清| 伦精品一区二区三区| kizo精华| 国产成人一区二区在线| 97精品久久久久久久久久精品| 国内少妇人妻偷人精品xxx网站| 中文字幕av成人在线电影| 亚洲丝袜综合中文字幕| 国产亚洲av嫩草精品影院| 日本黄色片子视频| 联通29元200g的流量卡| 国产精品99久久久久久久久| 欧美最新免费一区二区三区| 神马国产精品三级电影在线观看| 一区二区av电影网| 久久久久久久午夜电影| 日日啪夜夜撸| 真实男女啪啪啪动态图| 久热这里只有精品99| 夫妻性生交免费视频一级片| 成人亚洲欧美一区二区av| 日本与韩国留学比较| 日韩制服骚丝袜av| 亚洲av福利一区| 欧美日韩视频高清一区二区三区二| 午夜福利视频1000在线观看| 免费黄色在线免费观看| 亚洲成人一二三区av| 熟妇人妻不卡中文字幕| 日日啪夜夜爽| 观看免费一级毛片| 人人妻人人看人人澡| 国产老妇女一区| av在线观看视频网站免费| 精品一区二区免费观看| 欧美一区二区亚洲| 亚洲av免费高清在线观看| 蜜桃亚洲精品一区二区三区| 内地一区二区视频在线| 王馨瑶露胸无遮挡在线观看| 在线a可以看的网站| 精品人妻偷拍中文字幕| 久久精品久久久久久噜噜老黄| 久久久久久久久大av| 精品久久久久久久久av| 美女xxoo啪啪120秒动态图| 国产成人免费无遮挡视频| 亚洲国产最新在线播放| 国产老妇伦熟女老妇高清| 亚洲人成网站在线播| 成人午夜精彩视频在线观看| 免费av不卡在线播放| 亚洲激情五月婷婷啪啪| 五月玫瑰六月丁香| 国产综合精华液| 亚洲婷婷狠狠爱综合网| 日韩亚洲欧美综合| 你懂的网址亚洲精品在线观看| 国产伦在线观看视频一区| av天堂中文字幕网| 久久久久久九九精品二区国产| av免费观看日本| 97超视频在线观看视频| 久久久精品94久久精品| 观看美女的网站| 久久国内精品自在自线图片| 亚洲国产色片| 狠狠精品人妻久久久久久综合| 亚洲av中文字字幕乱码综合| 最近中文字幕2019免费版| 在线观看一区二区三区| 听说在线观看完整版免费高清| 少妇 在线观看| 高清视频免费观看一区二区| 免费av毛片视频| 99久国产av精品国产电影| 久久久精品免费免费高清| 亚洲欧美精品专区久久| 性色avwww在线观看| 国产成人精品一,二区| 国产爱豆传媒在线观看| 黄色怎么调成土黄色| 99热这里只有精品一区| 两个人的视频大全免费| 少妇人妻久久综合中文| 免费大片18禁| 一个人观看的视频www高清免费观看| 日本wwww免费看| 欧美日本视频| 国产女主播在线喷水免费视频网站| 2021天堂中文幕一二区在线观| 亚洲欧美成人综合另类久久久| 成人漫画全彩无遮挡| 精品一区二区三区视频在线| 成人鲁丝片一二三区免费| 欧美97在线视频| 伦理电影大哥的女人| 日日啪夜夜撸| 日本wwww免费看| 国产亚洲最大av| 色吧在线观看| 99视频精品全部免费 在线| 午夜福利高清视频| 少妇人妻一区二区三区视频| 成人国产麻豆网| 精品一区二区免费观看| 日韩强制内射视频| videossex国产| a级毛色黄片| 国产欧美日韩一区二区三区在线 | 欧美3d第一页| 99热这里只有是精品在线观看| 国产v大片淫在线免费观看| 久久精品熟女亚洲av麻豆精品| 亚洲成人久久爱视频| 禁无遮挡网站| 亚洲美女搞黄在线观看| 久久久精品免费免费高清| 亚洲国产日韩一区二区| 色网站视频免费| 成年女人看的毛片在线观看| 自拍偷自拍亚洲精品老妇| 草草在线视频免费看| 日韩强制内射视频| 男插女下体视频免费在线播放| 51国产日韩欧美| 三级国产精品片| 欧美97在线视频| 黄色配什么色好看| 男女啪啪激烈高潮av片| 日韩三级伦理在线观看| 亚洲色图综合在线观看| 18禁裸乳无遮挡动漫免费视频 | 国产一区亚洲一区在线观看| 校园人妻丝袜中文字幕| 日韩欧美精品免费久久| 成人二区视频| 波多野结衣巨乳人妻| 欧美xxⅹ黑人| 久久99热这里只有精品18| 亚洲色图综合在线观看| 亚洲精品456在线播放app| 熟女av电影| 日韩av在线免费看完整版不卡| 黑人高潮一二区| 久久久久久久精品精品| 午夜福利在线在线| 国产成人freesex在线| 免费高清在线观看视频在线观看| 国产亚洲91精品色在线| 好男人视频免费观看在线| 女的被弄到高潮叫床怎么办| 看黄色毛片网站| 欧美xxⅹ黑人| 神马国产精品三级电影在线观看| 一区二区av电影网| 久久人人爽av亚洲精品天堂 | 一个人观看的视频www高清免费观看| 如何舔出高潮| 少妇高潮的动态图| 久久久久精品久久久久真实原创| 国产精品嫩草影院av在线观看| 又黄又爽又刺激的免费视频.| 久久久久久久久久久免费av| 国内少妇人妻偷人精品xxx网站| 国产免费一级a男人的天堂| 18禁动态无遮挡网站| 日日摸夜夜添夜夜添av毛片| 亚洲av欧美aⅴ国产| 国产成人91sexporn| 69av精品久久久久久| 久久精品久久久久久久性| 国产色婷婷99| 看免费成人av毛片| 在线看a的网站| 99久久精品热视频| 毛片女人毛片| 国产白丝娇喘喷水9色精品| 国产亚洲午夜精品一区二区久久 | 日本与韩国留学比较| 男插女下体视频免费在线播放| 亚洲性久久影院| 黑人高潮一二区| 国产精品久久久久久久久免| 午夜福利在线观看免费完整高清在| 日韩成人av中文字幕在线观看| 成人美女网站在线观看视频| 少妇人妻一区二区三区视频| 欧美一区二区亚洲| 嘟嘟电影网在线观看| 成人高潮视频无遮挡免费网站| 亚洲精品乱码久久久v下载方式| 久久久久精品性色| 别揉我奶头 嗯啊视频| 伦理电影大哥的女人| 只有这里有精品99| 视频中文字幕在线观看| 韩国av在线不卡| 久久久久久久亚洲中文字幕| 国产老妇女一区| 97在线视频观看| 久久人人爽人人片av| 国产午夜精品一二区理论片| 亚洲自拍偷在线| 美女内射精品一级片tv| 欧美高清性xxxxhd video| 小蜜桃在线观看免费完整版高清| 2022亚洲国产成人精品| 亚洲aⅴ乱码一区二区在线播放| 国产精品麻豆人妻色哟哟久久| 国产熟女欧美一区二区| 99久久中文字幕三级久久日本| 午夜老司机福利剧场| 蜜桃久久精品国产亚洲av| 99视频精品全部免费 在线| 一级a做视频免费观看| 免费黄色在线免费观看| 免费人成在线观看视频色| 国产成人freesex在线| 久久精品国产亚洲av天美| 婷婷色av中文字幕| 99热6这里只有精品| 亚洲人成网站高清观看| 日本免费在线观看一区| 婷婷色综合大香蕉| 中国国产av一级| 成人二区视频| 伦精品一区二区三区| 国产黄色免费在线视频| 久久影院123| 国产一级毛片在线| 男女啪啪激烈高潮av片| 亚洲国产精品成人久久小说| 寂寞人妻少妇视频99o| 毛片一级片免费看久久久久| 伦精品一区二区三区| 在线观看av片永久免费下载| 最近手机中文字幕大全| 欧美区成人在线视频| 色视频在线一区二区三区| 免费少妇av软件| 国产成人91sexporn| 如何舔出高潮| 一区二区三区精品91| 少妇猛男粗大的猛烈进出视频 | 神马国产精品三级电影在线观看| www.色视频.com| 国产老妇女一区| 国内揄拍国产精品人妻在线| 日韩亚洲欧美综合| 日日摸夜夜添夜夜添av毛片| 久久久久久伊人网av| 麻豆乱淫一区二区| 五月开心婷婷网| 日韩不卡一区二区三区视频在线| 最近手机中文字幕大全| 国产伦精品一区二区三区四那| 国产黄频视频在线观看| 久久97久久精品| 精品亚洲乱码少妇综合久久| 亚洲精品aⅴ在线观看| 国产精品爽爽va在线观看网站| 国产v大片淫在线免费观看| 免费大片黄手机在线观看| 哪个播放器可以免费观看大片| 一个人观看的视频www高清免费观看| 老师上课跳d突然被开到最大视频| 永久免费av网站大全| 我要看日韩黄色一级片| 欧美高清性xxxxhd video| 1000部很黄的大片| 在线观看国产h片| 精品99又大又爽又粗少妇毛片| 亚洲欧美精品专区久久| 国产精品一二三区在线看| 久久热精品热| 免费黄色在线免费观看| 日韩欧美 国产精品| 免费观看的影片在线观看| 夫妻性生交免费视频一级片| 丝袜美腿在线中文| 亚洲最大成人中文| 久久精品久久精品一区二区三区| 不卡视频在线观看欧美| av国产精品久久久久影院| 国产毛片在线视频| 视频中文字幕在线观看| 日韩国内少妇激情av| 美女xxoo啪啪120秒动态图| 午夜视频国产福利| 亚洲欧洲日产国产| 成人午夜精彩视频在线观看| 91久久精品国产一区二区三区| 可以在线观看毛片的网站| 国产亚洲91精品色在线| 一级毛片aaaaaa免费看小| 一本色道久久久久久精品综合| 久久精品国产亚洲av天美| 99热国产这里只有精品6| 成人鲁丝片一二三区免费| 只有这里有精品99| 干丝袜人妻中文字幕| 婷婷色麻豆天堂久久| 丝袜脚勾引网站| 寂寞人妻少妇视频99o| 国产亚洲精品久久久com| 全区人妻精品视频| 亚洲最大成人手机在线| 两个人的视频大全免费| 亚洲欧美一区二区三区国产| 婷婷色麻豆天堂久久| 免费黄色在线免费观看| 一区二区三区精品91| 99热全是精品| 亚洲成人精品中文字幕电影| 91精品国产九色| 97人妻精品一区二区三区麻豆| 国产69精品久久久久777片| 国产精品偷伦视频观看了| a级毛色黄片| 一区二区三区精品91| 久久99热6这里只有精品| 亚洲精品久久久久久婷婷小说| 最近的中文字幕免费完整| 91午夜精品亚洲一区二区三区| 日韩 亚洲 欧美在线| 欧美精品一区二区大全| 国产中年淑女户外野战色| 男女边摸边吃奶| 少妇 在线观看| 婷婷色麻豆天堂久久| 久久精品国产亚洲网站| 成人黄色视频免费在线看| 一级av片app| 亚洲精品日韩av片在线观看| 久久久久久久国产电影| 精品久久久久久电影网| tube8黄色片| 五月玫瑰六月丁香| 80岁老熟妇乱子伦牲交| av在线天堂中文字幕| 国产伦在线观看视频一区| 少妇裸体淫交视频免费看高清| 久久精品国产亚洲av涩爱| 啦啦啦中文免费视频观看日本| 精品少妇黑人巨大在线播放| 午夜福利视频精品| 国产精品一区二区三区四区免费观看| 国产黄a三级三级三级人| 精品99又大又爽又粗少妇毛片| 22中文网久久字幕| 深爱激情五月婷婷| 亚洲欧美清纯卡通| av国产精品久久久久影院| tube8黄色片| 国产真实伦视频高清在线观看| 好男人在线观看高清免费视频| 亚洲,欧美,日韩| 国产欧美另类精品又又久久亚洲欧美| 如何舔出高潮| 亚洲精品aⅴ在线观看| 青青草视频在线视频观看| 国产日韩欧美在线精品| 成人国产麻豆网| 久久人人爽人人片av| 久久久久久久久久久免费av| 97在线视频观看| 国产v大片淫在线免费观看| 成年女人看的毛片在线观看| 校园人妻丝袜中文字幕| 内射极品少妇av片p| 久久精品久久精品一区二区三区| 夫妻性生交免费视频一级片| 国产精品嫩草影院av在线观看| 国产爱豆传媒在线观看| 成人鲁丝片一二三区免费| 婷婷色综合大香蕉| 亚洲天堂国产精品一区在线| 国产男女内射视频| 91狼人影院| 嫩草影院新地址| www.av在线官网国产| 六月丁香七月| 身体一侧抽搐| 青春草国产在线视频| 国产 一区精品| 高清毛片免费看| av免费在线看不卡| 可以在线观看毛片的网站| 日韩强制内射视频| 国产毛片a区久久久久| 一个人观看的视频www高清免费观看| 99精国产麻豆久久婷婷| 午夜爱爱视频在线播放| 亚洲欧美日韩无卡精品| av线在线观看网站| 国产av不卡久久| 欧美变态另类bdsm刘玥| 久久久久久久精品精品| 精品国产露脸久久av麻豆| av女优亚洲男人天堂| 亚洲一区二区三区欧美精品 | 天天躁夜夜躁狠狠久久av| 日本黄色片子视频| 亚洲怡红院男人天堂| 成人美女网站在线观看视频| 我要看日韩黄色一级片| 网址你懂的国产日韩在线| 美女cb高潮喷水在线观看| 永久免费av网站大全| 人妻系列 视频| 看非洲黑人一级黄片| av在线app专区| 在线观看三级黄色| 欧美高清成人免费视频www| 国产高清有码在线观看视频| 哪个播放器可以免费观看大片| 成人免费观看视频高清| a级毛片免费高清观看在线播放| 亚洲国产成人一精品久久久| 2022亚洲国产成人精品| 国产精品一区www在线观看| 男女边摸边吃奶| 美女视频免费永久观看网站| 国产精品av视频在线免费观看| 一级爰片在线观看| 欧美性猛交╳xxx乱大交人| 国产精品.久久久| 毛片女人毛片| 自拍偷自拍亚洲精品老妇| 亚洲美女搞黄在线观看| 九色成人免费人妻av| 人妻一区二区av| 六月丁香七月| 国内少妇人妻偷人精品xxx网站| 婷婷色av中文字幕| 免费电影在线观看免费观看| 18+在线观看网站| 亚洲欧美日韩卡通动漫| 精品熟女少妇av免费看| 免费在线观看成人毛片| 日本wwww免费看| 一级毛片aaaaaa免费看小| 午夜免费鲁丝| 插逼视频在线观看| 免费黄色在线免费观看| 搡女人真爽免费视频火全软件| 日韩视频在线欧美| 一级二级三级毛片免费看| 久久女婷五月综合色啪小说 | 美女被艹到高潮喷水动态| 色视频在线一区二区三区| 99精国产麻豆久久婷婷| 国产美女午夜福利| 久久精品久久久久久噜噜老黄| 成人美女网站在线观看视频| 在线观看美女被高潮喷水网站| 久久久久久久久久人人人人人人| 狂野欧美白嫩少妇大欣赏| 欧美bdsm另类| 青春草视频在线免费观看| 一级毛片久久久久久久久女| 高清午夜精品一区二区三区| 国产视频内射| 国产精品一及| 91精品一卡2卡3卡4卡| 王馨瑶露胸无遮挡在线观看| 亚洲精品自拍成人| 99热这里只有精品一区| 国产亚洲午夜精品一区二区久久 | 国产精品熟女久久久久浪| 自拍偷自拍亚洲精品老妇| 新久久久久国产一级毛片| 国产视频首页在线观看| 一个人看的www免费观看视频| 人妻少妇偷人精品九色| 日韩伦理黄色片| 青春草视频在线免费观看| 日本爱情动作片www.在线观看| 精品熟女少妇av免费看| 男人狂女人下面高潮的视频| 五月玫瑰六月丁香| 国产一区二区三区综合在线观看 | 秋霞伦理黄片| 亚洲国产精品成人综合色| 国产女主播在线喷水免费视频网站| 91精品国产九色| 亚洲av福利一区| 日本熟妇午夜| 亚洲精品日本国产第一区| 亚洲天堂av无毛| 黄色欧美视频在线观看| av在线天堂中文字幕| 国产有黄有色有爽视频| 欧美丝袜亚洲另类| 菩萨蛮人人尽说江南好唐韦庄| 免费少妇av软件| 啦啦啦中文免费视频观看日本| 三级国产精品欧美在线观看| 国产精品伦人一区二区| 久久人人爽人人爽人人片va| 五月开心婷婷网| 国产精品99久久99久久久不卡 | 精品视频人人做人人爽| 69av精品久久久久久| 男的添女的下面高潮视频| 午夜精品国产一区二区电影 | 久久久久久久亚洲中文字幕| 久久久久久久精品精品| 成人毛片60女人毛片免费| 极品教师在线视频| 麻豆国产97在线/欧美| 国产黄片美女视频| 免费在线观看成人毛片| 97超视频在线观看视频| 亚洲最大成人中文| 国产 精品1| 草草在线视频免费看| 免费av观看视频| 国语对白做爰xxxⅹ性视频网站| 街头女战士在线观看网站| 在线观看一区二区三区激情| 91在线精品国自产拍蜜月| 中文天堂在线官网| 九九爱精品视频在线观看| 激情五月婷婷亚洲| 熟女电影av网| 久热久热在线精品观看| 精品久久国产蜜桃| av天堂中文字幕网| 久久精品久久久久久久性| 在线观看三级黄色| 99久久九九国产精品国产免费| 精品人妻熟女av久视频| 美女国产视频在线观看| av在线亚洲专区| 在现免费观看毛片| 在线观看一区二区三区| 国产精品人妻久久久久久| 亚洲综合精品二区| 精华霜和精华液先用哪个| 美女被艹到高潮喷水动态| 欧美成人一区二区免费高清观看| 中文欧美无线码| 联通29元200g的流量卡| 精品久久久久久久末码| 街头女战士在线观看网站| 联通29元200g的流量卡| 精品久久久久久久末码| 91aial.com中文字幕在线观看| 成年女人在线观看亚洲视频 | 亚洲激情五月婷婷啪啪| 在线观看人妻少妇| 最近中文字幕高清免费大全6| 中文字幕av成人在线电影| 国产亚洲av片在线观看秒播厂| 91在线精品国自产拍蜜月| 亚洲精品亚洲一区二区| 男女那种视频在线观看| 丝袜美腿在线中文| 欧美亚洲 丝袜 人妻 在线| 国产色婷婷99| 亚洲婷婷狠狠爱综合网| 国产一区二区三区av在线| 99久久精品一区二区三区| 精品久久久精品久久久| 美女主播在线视频| 欧美变态另类bdsm刘玥| 免费观看的影片在线观看| 精品国产三级普通话版| 欧美老熟妇乱子伦牲交| 国产片特级美女逼逼视频|