• <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.

    亚洲第一av免费看| 欧美+亚洲+日韩+国产| 好男人电影高清在线观看| 久久久欧美国产精品| 国产一区二区激情短视频 | 国产日韩欧美视频二区| 精品一品国产午夜福利视频| 国产av精品麻豆| 后天国语完整版免费观看| 高清在线国产一区| 狂野欧美激情性bbbbbb| 日韩视频在线欧美| 亚洲人成77777在线视频| 成人手机av| 国产男女内射视频| 一二三四在线观看免费中文在| 久久久国产欧美日韩av| 亚洲国产精品一区二区三区在线| 在线av久久热| 国产在视频线精品| 丁香六月天网| 久久人妻熟女aⅴ| 少妇人妻久久综合中文| 91精品国产国语对白视频| 美女视频免费永久观看网站| 国产欧美亚洲国产| 国产成人一区二区三区免费视频网站| 99九九在线精品视频| 午夜精品国产一区二区电影| 色94色欧美一区二区| 免费观看a级毛片全部| 久久影院123| 国产视频一区二区在线看| 亚洲成人免费av在线播放| 欧美黄色片欧美黄色片| 欧美精品一区二区免费开放| 一级毛片精品| 国产在线一区二区三区精| www.av在线官网国产| 亚洲美女黄色视频免费看| 青春草亚洲视频在线观看| 亚洲精品成人av观看孕妇| h视频一区二区三区| 久久女婷五月综合色啪小说| 首页视频小说图片口味搜索| 美国免费a级毛片| 99久久人妻综合| 五月开心婷婷网| 亚洲一卡2卡3卡4卡5卡精品中文| 精品少妇内射三级| 99国产极品粉嫩在线观看| 亚洲中文av在线| 久久久国产成人免费| 中国国产av一级| 一边摸一边做爽爽视频免费| 国产精品麻豆人妻色哟哟久久| 俄罗斯特黄特色一大片| 老司机福利观看| 欧美性长视频在线观看| 久久精品熟女亚洲av麻豆精品| 欧美激情高清一区二区三区| 国产精品免费大片| 建设人人有责人人尽责人人享有的| 国产欧美日韩一区二区三 | 精品久久久精品久久久| 巨乳人妻的诱惑在线观看| 国产伦人伦偷精品视频| 精品欧美一区二区三区在线| av电影中文网址| 久久久国产欧美日韩av| 永久免费av网站大全| 久久久久国产一级毛片高清牌| 精品久久久精品久久久| 搡老岳熟女国产| 精品免费久久久久久久清纯 | 一区在线观看完整版| 久久综合国产亚洲精品| 午夜视频精品福利| 国产精品自产拍在线观看55亚洲 | 国产av又大| 国产成人av激情在线播放| 热re99久久精品国产66热6| 精品乱码久久久久久99久播| 99精品久久久久人妻精品| 午夜福利视频精品| 亚洲少妇的诱惑av| 日韩人妻精品一区2区三区| 国产精品 欧美亚洲| 岛国在线观看网站| 日韩欧美一区视频在线观看| 亚洲色图 男人天堂 中文字幕| 成人18禁高潮啪啪吃奶动态图| 亚洲一区中文字幕在线| 狂野欧美激情性bbbbbb| 国产精品一区二区在线观看99| 91麻豆精品激情在线观看国产 | 精品国产乱码久久久久久男人| 亚洲精华国产精华精| 菩萨蛮人人尽说江南好唐韦庄| 国产免费一区二区三区四区乱码| 美女午夜性视频免费| 最近最新中文字幕大全免费视频| 中文字幕最新亚洲高清| 欧美+亚洲+日韩+国产| 叶爱在线成人免费视频播放| e午夜精品久久久久久久| 一区二区三区乱码不卡18| 天天躁狠狠躁夜夜躁狠狠躁| 1024视频免费在线观看| 免费在线观看日本一区| 亚洲av成人不卡在线观看播放网 | 日韩 亚洲 欧美在线| 国产又色又爽无遮挡免| 亚洲美女黄色视频免费看| 丁香六月欧美| 午夜福利视频在线观看免费| 汤姆久久久久久久影院中文字幕| 99久久99久久久精品蜜桃| 亚洲国产毛片av蜜桃av| 日韩大码丰满熟妇| 99国产精品99久久久久| 亚洲第一av免费看| tocl精华| 国产成+人综合+亚洲专区| 天天影视国产精品| 久久天躁狠狠躁夜夜2o2o| 欧美大码av| 妹子高潮喷水视频| 美女脱内裤让男人舔精品视频| 中文精品一卡2卡3卡4更新| 一二三四在线观看免费中文在| 欧美黑人欧美精品刺激| 日韩制服骚丝袜av| 一级黄色大片毛片| 成人亚洲精品一区在线观看| 免费久久久久久久精品成人欧美视频| 女人被躁到高潮嗷嗷叫费观| 99精国产麻豆久久婷婷| 精品第一国产精品| 国产一级毛片在线| 亚洲人成77777在线视频| 人妻久久中文字幕网| 9191精品国产免费久久| 久久精品国产亚洲av香蕉五月 | av超薄肉色丝袜交足视频| 青春草亚洲视频在线观看| 999久久久国产精品视频| 最近中文字幕2019免费版| 亚洲精品国产一区二区精华液| 在线观看www视频免费| 久久久水蜜桃国产精品网| 精品一区二区三区四区五区乱码| 亚洲欧美精品综合一区二区三区| 成人亚洲精品一区在线观看| 色综合欧美亚洲国产小说| 欧美成人午夜精品| 黄色视频,在线免费观看| 亚洲国产中文字幕在线视频| 老熟妇仑乱视频hdxx| videosex国产| 黑人猛操日本美女一级片| 悠悠久久av| 日韩欧美免费精品| 19禁男女啪啪无遮挡网站| 亚洲伊人久久精品综合| 天堂中文最新版在线下载| 桃红色精品国产亚洲av| 法律面前人人平等表现在哪些方面 | 别揉我奶头~嗯~啊~动态视频 | 日韩欧美一区二区三区在线观看 | 一二三四在线观看免费中文在| 久久精品aⅴ一区二区三区四区| 日韩欧美免费精品| 一区二区三区乱码不卡18| 亚洲国产精品成人久久小说| 麻豆乱淫一区二区| 他把我摸到了高潮在线观看 | 国产精品自产拍在线观看55亚洲 | 天天躁日日躁夜夜躁夜夜| 久久久久久久大尺度免费视频| 久久天堂一区二区三区四区| 国产精品久久久久久人妻精品电影 | 黑丝袜美女国产一区| 亚洲美女黄色视频免费看| 色播在线永久视频| 亚洲熟女毛片儿| 涩涩av久久男人的天堂| 久久久精品区二区三区| 人人澡人人妻人| 久久精品国产综合久久久| 秋霞在线观看毛片| 婷婷色av中文字幕| 制服人妻中文乱码| 精品国产乱子伦一区二区三区 | 婷婷成人精品国产| 亚洲国产毛片av蜜桃av| 国产一区二区三区在线臀色熟女 | 老司机午夜十八禁免费视频| 在线av久久热| 精品第一国产精品| 每晚都被弄得嗷嗷叫到高潮| videosex国产| 亚洲人成电影免费在线| 男女国产视频网站| 99九九在线精品视频| 亚洲精品成人av观看孕妇| 欧美老熟妇乱子伦牲交| 51午夜福利影视在线观看| 久久亚洲国产成人精品v| 亚洲欧美日韩另类电影网站| 丰满饥渴人妻一区二区三| 无遮挡黄片免费观看| 一个人免费在线观看的高清视频 | 搡老乐熟女国产| 一级a爱视频在线免费观看| 午夜免费观看性视频| 99精国产麻豆久久婷婷| 亚洲色图综合在线观看| 国产精品久久久人人做人人爽| 久久久精品国产亚洲av高清涩受| 久久久久国产精品人妻一区二区| 欧美日韩亚洲综合一区二区三区_| 午夜成年电影在线免费观看| 国产野战对白在线观看| 99精品久久久久人妻精品| 丝袜脚勾引网站| 成年人免费黄色播放视频| 日韩中文字幕视频在线看片| 天天躁夜夜躁狠狠躁躁| tocl精华| 亚洲欧美激情在线| 香蕉丝袜av| 黄片播放在线免费| 精品人妻在线不人妻| 亚洲国产av影院在线观看| 日韩一区二区三区影片| 国产免费福利视频在线观看| 午夜福利视频精品| 精品人妻熟女毛片av久久网站| 2018国产大陆天天弄谢| 精品亚洲成a人片在线观看| 桃红色精品国产亚洲av| av免费在线观看网站| 90打野战视频偷拍视频| 精品少妇久久久久久888优播| 欧美精品高潮呻吟av久久| 欧美人与性动交α欧美精品济南到| 欧美国产精品va在线观看不卡| 国产一区二区激情短视频 | 日韩熟女老妇一区二区性免费视频| 久久久精品94久久精品| 午夜影院在线不卡| 日本一区二区免费在线视频| 亚洲精品在线美女| 满18在线观看网站| 精品少妇内射三级| 岛国毛片在线播放| 国产一区二区 视频在线| 欧美97在线视频| 久久这里只有精品19| 丰满饥渴人妻一区二区三| 亚洲国产精品一区二区三区在线| 日韩免费高清中文字幕av| 十八禁网站网址无遮挡| 黄片播放在线免费| 国产91精品成人一区二区三区 | 后天国语完整版免费观看| 亚洲国产欧美网| 国产精品国产av在线观看| 精品国产一区二区久久| 在线亚洲精品国产二区图片欧美| 亚洲美女黄色视频免费看| 精品福利观看| 51午夜福利影视在线观看| 国产免费视频播放在线视频| 免费在线观看完整版高清| av又黄又爽大尺度在线免费看| 18禁观看日本| 国产av又大| 一级a爱视频在线免费观看| 中文字幕另类日韩欧美亚洲嫩草| 丝袜美足系列| 亚洲精品国产精品久久久不卡| 一级毛片电影观看| 日韩电影二区| 日韩制服骚丝袜av| 黑人巨大精品欧美一区二区蜜桃| 日本一区二区免费在线视频| 纯流量卡能插随身wifi吗| 亚洲精品久久久久久婷婷小说| 岛国在线观看网站| 亚洲国产精品一区二区三区在线| 两性午夜刺激爽爽歪歪视频在线观看 | av网站在线播放免费| 久久人人97超碰香蕉20202| 亚洲精品日韩在线中文字幕| 97精品久久久久久久久久精品| 日韩欧美免费精品| 久久综合国产亚洲精品| 精品福利观看| av一本久久久久| 国产免费一区二区三区四区乱码| 亚洲国产欧美日韩在线播放| 国产一卡二卡三卡精品| cao死你这个sao货| 午夜久久久在线观看| av免费在线观看网站| 欧美激情高清一区二区三区| 欧美日韩国产mv在线观看视频| 国产三级黄色录像| 50天的宝宝边吃奶边哭怎么回事| 欧美老熟妇乱子伦牲交| 国产日韩一区二区三区精品不卡| 欧美激情 高清一区二区三区| 国产亚洲欧美精品永久| 国产在线观看jvid| 91麻豆av在线| 极品少妇高潮喷水抽搐| 日本wwww免费看| 久久久久久久大尺度免费视频| 国产黄频视频在线观看| 亚洲中文字幕日韩| 麻豆av在线久日| 在线十欧美十亚洲十日本专区| 国产精品av久久久久免费| 精品少妇内射三级| 成人亚洲精品一区在线观看| 王馨瑶露胸无遮挡在线观看| 色94色欧美一区二区| 窝窝影院91人妻| 黄片小视频在线播放| 免费久久久久久久精品成人欧美视频| 国产淫语在线视频| 一级片'在线观看视频| videos熟女内射| 国产成人av教育| 欧美亚洲日本最大视频资源| 波多野结衣一区麻豆| 一边摸一边做爽爽视频免费| 国产精品偷伦视频观看了| 久久国产精品影院| 午夜福利在线观看吧| 97人妻天天添夜夜摸| 少妇裸体淫交视频免费看高清 | 亚洲国产看品久久| 国产男人的电影天堂91| 日韩精品免费视频一区二区三区| 午夜成年电影在线免费观看| 午夜免费观看性视频| 亚洲avbb在线观看| 久久久精品免费免费高清| 亚洲精品国产一区二区精华液| 啦啦啦免费观看视频1| 国产成人欧美在线观看 | 久久久久久久大尺度免费视频| 国产欧美日韩一区二区精品| 女人被躁到高潮嗷嗷叫费观| 热99re8久久精品国产| 亚洲全国av大片| 别揉我奶头~嗯~啊~动态视频 | 精品久久蜜臀av无| 嫩草影视91久久| 国产国语露脸激情在线看| 999久久久国产精品视频| 精品国产乱码久久久久久小说| 国产精品久久久久久精品古装| 大香蕉久久成人网| 天堂俺去俺来也www色官网| 亚洲精品日韩在线中文字幕| 精品国产超薄肉色丝袜足j| 成人手机av| 欧美日韩黄片免| 在线观看免费日韩欧美大片| 999精品在线视频| 国产色视频综合| 妹子高潮喷水视频| 久久香蕉激情| 久久精品国产a三级三级三级| 亚洲国产av影院在线观看| 99国产极品粉嫩在线观看| 国产极品粉嫩免费观看在线| 亚洲精品第二区| 免费高清在线观看日韩| 十分钟在线观看高清视频www| 免费在线观看视频国产中文字幕亚洲 | 蜜桃在线观看..| 国产精品亚洲av一区麻豆| 国产日韩欧美亚洲二区| 亚洲第一欧美日韩一区二区三区 | 亚洲,欧美精品.| 久久久久久久久免费视频了| 人人妻人人爽人人添夜夜欢视频| 国产av国产精品国产| 久久久久精品人妻al黑| 亚洲av片天天在线观看| 天堂中文最新版在线下载| 五月天丁香电影| 永久免费av网站大全| 777久久人妻少妇嫩草av网站| 欧美精品一区二区大全| 中文字幕精品免费在线观看视频| 欧美日本中文国产一区发布| 欧美精品一区二区免费开放| 一级毛片女人18水好多| 亚洲精品中文字幕在线视频| 久久狼人影院| 这个男人来自地球电影免费观看| 美国免费a级毛片| 久久人妻熟女aⅴ| 欧美精品啪啪一区二区三区 | 天天躁日日躁夜夜躁夜夜| 性色av乱码一区二区三区2| 岛国在线观看网站| 最新的欧美精品一区二区| 黑人巨大精品欧美一区二区mp4| 免费人妻精品一区二区三区视频| 亚洲精品中文字幕在线视频| 亚洲国产av影院在线观看| 在线观看人妻少妇| √禁漫天堂资源中文www| 少妇被粗大的猛进出69影院| 亚洲精品乱久久久久久| www.自偷自拍.com| 女性生殖器流出的白浆| 在线观看免费午夜福利视频| 亚洲专区字幕在线| 国产一区二区激情短视频 | 亚洲av欧美aⅴ国产| 日韩 亚洲 欧美在线| 免费人妻精品一区二区三区视频| 亚洲全国av大片| 久久天躁狠狠躁夜夜2o2o| 黄色片一级片一级黄色片| 国产免费福利视频在线观看| 夫妻午夜视频| 午夜视频精品福利| 久久免费观看电影| 国产在视频线精品| 十八禁网站网址无遮挡| 真人做人爱边吃奶动态| 欧美xxⅹ黑人| 97精品久久久久久久久久精品| 香蕉国产在线看| 少妇粗大呻吟视频| 欧美黄色淫秽网站| 国产精品国产av在线观看| 日本av手机在线免费观看| 岛国毛片在线播放| av不卡在线播放| 亚洲精品自拍成人| 亚洲精品国产区一区二| 99香蕉大伊视频| 午夜精品国产一区二区电影| 可以免费在线观看a视频的电影网站| 欧美黑人精品巨大| 天堂8中文在线网| av有码第一页| www日本在线高清视频| 丝袜人妻中文字幕| 成人国产一区最新在线观看| 中文精品一卡2卡3卡4更新| 1024香蕉在线观看| 中文字幕高清在线视频| 纵有疾风起免费观看全集完整版| 亚洲五月色婷婷综合| 美女主播在线视频| 国产精品麻豆人妻色哟哟久久| 777米奇影视久久| av线在线观看网站| 大陆偷拍与自拍| 纵有疾风起免费观看全集完整版| 青青草视频在线视频观看| 在线永久观看黄色视频| 91麻豆av在线| 自线自在国产av| av超薄肉色丝袜交足视频| 男人爽女人下面视频在线观看| 国产有黄有色有爽视频| 精品高清国产在线一区| av有码第一页| 日日夜夜操网爽| 捣出白浆h1v1| 久久国产精品人妻蜜桃| 久久久欧美国产精品| 免费久久久久久久精品成人欧美视频| 午夜福利乱码中文字幕| 亚洲 欧美一区二区三区| 欧美激情高清一区二区三区| 麻豆乱淫一区二区| 极品人妻少妇av视频| 午夜福利乱码中文字幕| 国精品久久久久久国模美| 男女之事视频高清在线观看| 一区二区三区激情视频| 色婷婷av一区二区三区视频| 午夜免费观看性视频| 啦啦啦中文免费视频观看日本| 中文字幕另类日韩欧美亚洲嫩草| 亚洲成人免费电影在线观看| 操美女的视频在线观看| 亚洲视频免费观看视频| 精品国产国语对白av| 一级片免费观看大全| 老汉色∧v一级毛片| 18禁裸乳无遮挡动漫免费视频| 久久天堂一区二区三区四区| 色播在线永久视频| 午夜福利在线观看吧| 亚洲全国av大片| 2018国产大陆天天弄谢| 国产欧美亚洲国产| 美女国产高潮福利片在线看| 最黄视频免费看| 美女午夜性视频免费| 日本av手机在线免费观看| 免费观看av网站的网址| 亚洲中文字幕日韩| 亚洲免费av在线视频| 欧美变态另类bdsm刘玥| 91精品国产国语对白视频| 亚洲av欧美aⅴ国产| 纯流量卡能插随身wifi吗| 亚洲综合色网址| 99国产精品免费福利视频| 亚洲自偷自拍图片 自拍| 国产精品成人在线| 久久久国产欧美日韩av| 精品一区二区三区av网在线观看 | 日韩精品免费视频一区二区三区| 国产亚洲午夜精品一区二区久久| 国产又爽黄色视频| 久久久精品国产亚洲av高清涩受| 啦啦啦啦在线视频资源| 啪啪无遮挡十八禁网站| 欧美精品亚洲一区二区| 美女脱内裤让男人舔精品视频| 黄色怎么调成土黄色| 一本一本久久a久久精品综合妖精| 久久热在线av| 欧美黄色片欧美黄色片| av国产精品久久久久影院| 亚洲精品粉嫩美女一区| 午夜福利视频精品| 亚洲九九香蕉| 热99国产精品久久久久久7| 国产精品久久久久久人妻精品电影 | xxxhd国产人妻xxx| 亚洲精品国产精品久久久不卡| 午夜91福利影院| 黄色视频,在线免费观看| 欧美国产精品va在线观看不卡| 精品国产乱码久久久久久男人| 成年人午夜在线观看视频| 亚洲精品自拍成人| 亚洲精品中文字幕在线视频| 国产av又大| 日韩制服丝袜自拍偷拍| 日本撒尿小便嘘嘘汇集6| 亚洲 国产 在线| 老司机午夜十八禁免费视频| 午夜福利视频在线观看免费| 中文精品一卡2卡3卡4更新| 久久精品aⅴ一区二区三区四区| 丰满迷人的少妇在线观看| 在线精品无人区一区二区三| 国产精品久久久久成人av| 亚洲熟女精品中文字幕| 精品人妻1区二区| 国产亚洲欧美精品永久| 久久天堂一区二区三区四区| 久久99热这里只频精品6学生| 国产伦理片在线播放av一区| 50天的宝宝边吃奶边哭怎么回事| 岛国毛片在线播放| 99久久综合免费| 五月开心婷婷网| 亚洲欧美清纯卡通| 交换朋友夫妻互换小说| 超碰成人久久| 亚洲一码二码三码区别大吗| 国产精品99久久99久久久不卡| 亚洲精品自拍成人| 97精品久久久久久久久久精品| 一区在线观看完整版| 日韩欧美国产一区二区入口| 亚洲精品乱久久久久久| 精品人妻在线不人妻| 人人妻人人添人人爽欧美一区卜| 久久精品人人爽人人爽视色| 国产精品久久久久成人av| 久久天躁狠狠躁夜夜2o2o| 超碰97精品在线观看| 少妇人妻久久综合中文| 国产淫语在线视频| 久久影院123| 国产精品.久久久| 亚洲欧美激情在线| 91麻豆av在线| 午夜福利免费观看在线| 久久久精品区二区三区| 精品一区二区三区四区五区乱码| 日韩 欧美 亚洲 中文字幕| 亚洲国产精品一区三区| 人妻一区二区av| 久久青草综合色| 天天添夜夜摸| a 毛片基地| 国产黄频视频在线观看| 久久人人97超碰香蕉20202| 一本色道久久久久久精品综合| 青春草视频在线免费观看| 两个人看的免费小视频| 90打野战视频偷拍视频| 亚洲一区中文字幕在线| 国产精品成人在线|