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

    基于時序描述邏輯的故障樹分析方法研究

    2017-12-20 10:06:41朱羿全
    計算機技術(shù)與發(fā)展 2017年12期
    關(guān)鍵詞:規(guī)約分析方法時序

    司 佳,朱羿全,馬 琳

    (南京航空航天大學(xué) 計算機科學(xué)與技術(shù)學(xué)院,江蘇 南京 210016)

    基于時序描述邏輯的故障樹分析方法研究

    司 佳,朱羿全,馬 琳

    (南京航空航天大學(xué) 計算機科學(xué)與技術(shù)學(xué)院,江蘇 南京 210016)

    故障樹分析法是工業(yè)界常用的安全分析方法之一。然而由于其非形式化方法的局限性,難以對軟件故障進行形式化驗證,更難以描述嵌入式實時系統(tǒng)中事件之間的時序邏輯關(guān)系。因此,提出了一種基于時序描述邏輯的故障樹分析方法,以解決故障樹難以對時序關(guān)系進行描述以及難以形式化驗證的問題。首先,通過時序描述邏輯對故障樹進行時序特征的擴充與規(guī)約;其次抽取出用描述邏輯表示的軟件安全屬性;最后對軟件系統(tǒng)進行安全屬性建模并通過模型檢測工具SPIN形式化驗證軟件系統(tǒng)是否滿足這些屬性。以某一機載控制系統(tǒng)環(huán)境輸入模塊為案例,對該案例進行故障樹分析和建模并給出該案例的待驗證安全屬性以及實驗分析結(jié)果。結(jié)果表明,提出的方法是有效的和可行的。

    故障樹分析;時序描述邏輯;安全屬性;形式化驗證

    0 引 言

    目前故障樹分析法(Fault Tree Analysis,FTA)是學(xué)術(shù)界和工業(yè)界應(yīng)用最為廣泛的安全性分析方法之一[1]。它首先分析了造成故障結(jié)果的所有原因,并給出了失效結(jié)果與失效原因之間的因果關(guān)系鏈,進而協(xié)助檢測系統(tǒng)的設(shè)計錯誤、安全缺陷以及薄弱環(huán)節(jié)[2]。

    由于傳統(tǒng)的故障樹分析法一般采用非形式化方法進行描述,缺乏精確語義,因此難以對軟件故障進行形式化驗證。另一方面,由于其非形式化方法的局限性,使傳統(tǒng)的故障樹缺乏對具有時序特征的安全關(guān)鍵系統(tǒng)精確的描述方法[3]。

    時序描述邏輯(Temporal Description Logic,TDL)是描述邏輯的時序擴展,既具有描述邏輯很強的表達和可判斷推理能力,又包含大量時序算子,可以對動態(tài)領(lǐng)域的知識進行描述[4]。

    文中提出一種基于時序描述邏輯的故障樹分析方法,旨在將時序描述邏輯與傳統(tǒng)故障樹分析方法相結(jié)合。首先利用時序描述邏輯對故障樹進行時序擴充,而后從中抽取出描述軟件安全屬性的時序邏輯公式,最終實現(xiàn)軟件系統(tǒng)安全性的形式化驗證。

    1 相關(guān)工作

    如何將傳統(tǒng)的故障樹分析技術(shù)與形式化分析驗證方法相互結(jié)合,已成為國內(nèi)外學(xué)者研究的熱點之一。文獻[5]采用PLTLP對故障樹的語義進行形式化,然而PLTLP的表達能力有限,無法描述復(fù)雜的時序性質(zhì);文獻[6]通過Z語言對故障樹進行了形式化規(guī)約,但由于Z語言的局限性,其缺乏對故障樹中安全屬性提取和正確性驗證的方法;文獻[7]為了能夠表達更多的故障,已經(jīng)對軟件系統(tǒng)進行規(guī)約,其對現(xiàn)有的時序故障樹進行了TCTL擴充;文獻[8]提出一種用線性時序邏輯規(guī)約的時序故障樹LTFT,從中提取出描述系統(tǒng)時序故障的安全屬性,用于軟件安全性驗證。

    2 時序描述邏輯

    描述邏輯(Description Logic,DL)是一種基于對象的知識表示形式化方法[9]。它建立在概念(concept)和角色(role)之上。概念是一類事物的抽象,通常用A,B,C,D…表示;而角色則用來刻畫事物之間的各種聯(lián)系和關(guān)系,通常用P,Q,R,S…P表示?;A(chǔ)描述邏輯知識詳見文獻[9]。

    時序描述邏輯主要是在基礎(chǔ)的描述邏輯上擴展了4個時序邏輯算子[10-11]:○、□、◇和∪,詳細說明如表1所示。

    表1 時序描述邏輯擴展的時序算子

    2.1 TDL擴展的語法和語義

    (1)TDL擴展的語法。

    其中,C和D表示為描述邏輯中的概念;R1和R2表示角色;φ和ψ表示公式;、、◇為一目算子;∪為二目算子,用來表示左式一直為真,直到右式為真。

    (2)TDL擴展的語義。

    假設(shè)時間流ζ=,其中T表示時間點的非空集合,<表示T中時間點之間嚴格的線性時序二元關(guān)系。TDL擴展部分的語義可描述如下[12]:

    (◇C)I={|?t1.t≤t1∧∈CI}

    (□C)I={|?t1.t≤t1∧∈CI}

    (C∪D)I={|?t1.t≤t1∧∈DI∧?t2.t∈CI}

    2.2 TDL擴展后的可滿足性

    由于文獻[13]已證明,描述邏輯的推理問題均可以規(guī)約為可滿足性問題,可滿足性的定義如下:

    (1)(M,i)|=C=D?CI(i)=DI(i)

    (2)(M,i)|=a:C?aI(i)∈CI(i)

    (3)(M,i)|=aRb?aI(i)RbI(i)

    (4)(M,i)|=φ∪ψ??j>i,(M,i)|=ψ&&?k.(i≤k

    (5)(M,i)|=φ?(M,i+1)|=φ

    (6)(M,i)|=◇φ??j>i,(M,j)|=φ

    (7)(M,i)|=□φ??j>i,(M,j)|=φ

    (8)(M,i)|=φ→ψ?(M,i)|=φ→(M,i)|=ψ

    3 基于TDL的形式化故障樹構(gòu)建

    文中工作的核心是構(gòu)建帶有形式化信息的故障樹,并從中抽取支持形式化驗證的軟件安全屬性。因此,首先利用時序描述邏輯對傳統(tǒng)故障樹進行擴充,生成支持安全屬性規(guī)約的能夠形式化表示的時序描述邏輯故障樹。

    時序描述邏輯故障樹保留了傳統(tǒng)故障樹中的全部邏輯門和事件[14],在此基礎(chǔ)上引入與TDL時序算子相對應(yīng)的○、□、◇和∪時序邏輯門:

    (1)“○”門分別有一個輸出事件以及一個輸入事件。當(dāng)“○”門的輸入故障事件在系統(tǒng)運行的下一個時刻為永真,“○”門的輸出故障事件發(fā)生。

    (2)“□”門分別有一個輸出事件和一個輸入事件。若“□”的輸入故障事件在整個系統(tǒng)運行時間內(nèi)為永真,則“□”門的輸出故障事件發(fā)生。

    (3)“◇”門分別有一個輸出事件和一個輸入事件。若“◇”門下的輸入故障事件在系統(tǒng)運行時間內(nèi)的某一時刻為真,則“◇”門的輸出故障事件發(fā)生。

    (4)對于條件“A∪B”而言,此“∪”門有兩個輸入事件A和B以及一個輸出事件C,只有滿足條件“A∪B(即事件A為真,直到事件B為真)”時,輸出事件C才發(fā)生。

    引入以上時序邏輯門后,基于TDL的故障樹構(gòu)建原則仍遵循傳統(tǒng)故障樹的基本原則[14]。在傳統(tǒng)的故障樹構(gòu)建過程中,不允許邏輯門之間直接相連。而由于引進了時序邏輯門,為了正確地構(gòu)建故障樹,文中允許時序邏輯門與普通邏輯門以及時序邏輯門之間的直接相連。舉例說明如圖1所示。

    圖1 傳統(tǒng)故障樹與形式化故障樹對比

    4 軟件安全屬性的提取及驗證

    4.1 安全屬性的提取

    通過對傳統(tǒng)故障樹的擴展和形式化規(guī)約構(gòu)建出能夠描述時序關(guān)系的形式化故障樹。在此基礎(chǔ)上,研究形式化故障樹安全屬性的提取過程,給出一個基于“上行法”的故障樹安全屬性提取算法,為軟件系統(tǒng)模型的形式化驗證提供證據(jù)?!吧闲蟹ā笔莻鹘y(tǒng)故障樹分析方法中一種常規(guī)分析法,其基本思想是從故障樹的基本事件開始,由下到上進行規(guī)約?;凇吧闲蟹ā碧崛⌒问交收蠘浒踩珜傩缘牧鞒倘缦拢?/p>

    步驟一:自底向上遍歷TDL擴充的故障樹,根據(jù)下層的TDL公式以及事件之間的邏輯門關(guān)系,給出新的TDL公式來描述上一層邏輯門的輸出或輸出事件;

    步驟二:判斷當(dāng)前TDL公式是否是最簡形式,若不是,則執(zhí)行步驟四;

    步驟三:判斷當(dāng)前事件是否為頂事件,若是,則執(zhí)行步驟五,否則執(zhí)行步驟一;

    步驟四:對TDL公式進行約簡,并執(zhí)行步驟三;

    步驟五:得到描述頂事件的描述邏輯公式,即為系統(tǒng)需要被驗證的安全屬性。

    4.2 安全屬性的形式化驗證

    形式化驗證方法的主要思路是使用數(shù)學(xué)的公式、定理和系統(tǒng)來驗證一個系統(tǒng)的正確性[15]。目前常用的形式化驗證方法主要包括模型檢測和定理證明。文中采用模型檢測方法,運用Promela語言對軟件系統(tǒng)形式化建模,驗證所提取的安全屬性。

    方法的具體實施流程如圖2所示。首先,用時序描述邏輯對傳統(tǒng)故障樹進行擴充和形式化規(guī)約,形成能夠形式化描述系統(tǒng)時序故障的形式化故障樹。根據(jù)3.1節(jié)安全屬性提取算法,從形式化故障樹中提取出描述系統(tǒng)安全屬性的TDL公式;其次,根據(jù)TDL公式,利用Promela進行系統(tǒng)建模,得到待驗證的系統(tǒng)模型;最后,將待驗證的安全屬性和系統(tǒng)模型導(dǎo)入SPIN中進行驗證,并根據(jù)SPIN提供的驗證結(jié)果對系統(tǒng)進行安全性分析。

    圖2 安全屬性形式化驗證流程

    5 實例分析

    為了說明文中方法的有效性,更清晰地演示方法的運用過程,給出某一機載控制系統(tǒng)環(huán)境輸入模塊代碼的安全性驗證與分析案例。

    環(huán)境輸入模塊主要負責(zé)采集不斷變化的外界環(huán)境參數(shù),其失效模式的初始化故障樹描述如圖3所示。

    圖3 環(huán)境輸入模塊故障樹

    根據(jù)文中方法對該故障樹進行形式化擴充,如圖4所示。

    圖4 基于TDL擴展后的形式化故障樹

    再利用3.1節(jié)提出的calTDL算法對擴展后的形式化故障樹進行安全屬性提取,得出3條通過TDL表達式描述的待驗證的安全屬性:

    (1)割集為{Sub-Tree1},表示該模塊接受函數(shù)始終無法響應(yīng),其對應(yīng)的TDL表達式為:□(g_SciaRX_Ready==1);

    (2)割集為{EnviBase2},表示為緩沖區(qū)溢出,其對應(yīng)TDL表達式為:◇(g_dRegLength>MAX_REG);

    (3)割集為{Sub-Tree2},表示計數(shù)器始終無法及時清零,其對應(yīng)的TDL表達式為:□(SCIRXCounter==0)。

    再利用模型檢測工具SPIN對環(huán)境輸入模塊進行形式化驗證。SPIN是基于Promela語言的主流模型檢測工具之一[16]。

    輸入一:Promela語言描述的環(huán)境輸入模塊;

    輸入二:待驗證的3條安全屬性;

    輸出結(jié)果:環(huán)境輸入模塊是否滿足這3條安全屬性。

    圖5 SPIN驗證結(jié)果

    由圖中結(jié)果可以說明,由于環(huán)境輸入模塊的計數(shù)器無法及時清零,導(dǎo)致程序多次執(zhí)行了空語句,浪費了寶貴的計算資源。

    6 結(jié)束語

    針對傳統(tǒng)故障樹分析法缺乏形式化語義、無法解決時序問題的缺陷,提出一種基于時序描述邏輯的故障樹分析方法。將時序描述邏輯與故障樹相結(jié)合,并給出了具體的形式化故障樹擴展方法;在此基礎(chǔ)上,給出了一種提取故障樹安全屬性的算法,并將安全屬性用于系統(tǒng)的模型檢測。下一步工作的重點是研究如何對故障樹本身的正確性進行驗證。

    [1] Lee W S,Grosh D,Tillman F A,et al. Fault tree analysis,methods,and application:a review[J].IEEE Transactions on Reliability,1985,34(3):194-203.

    [2] 馬 琳,黃志球,徐丙鳳,等.支持模型檢測的故障樹生成方法研究[J].計算機與數(shù)字工程,2013,41(2):257-260.

    [3] 黃志球,徐丙鳳,闞雙龍,等.嵌入式機載軟件安全性分析標(biāo)準、方法及工具研究綜述[J].軟件學(xué)報,2014,25(2):200-218.

    [4] 楊海波.基于時序描述邏輯的UML狀態(tài)圖語義研究[D].蘭州:蘭州理工大學(xué),2010.

    [5] Palshikar G K.Temporal fault trees[J].Information and Software Technology,2002,44(3):137-150.

    [6] Coppit D,Sullivan K J,Dugan J B.Formal semantics of models for computational engineering:a case study on dynamic fault trees[C]//Proceedings of 11th international symposium on software reliability engineering.[s.l.]:IEEE,2000:270-282.

    [7] 劉 磊.軟件時序故障樹建模與分析技術(shù)研究[D].長沙:國防科學(xué)技術(shù)大學(xué),2011.

    [8] 馬 琳.基于故障樹的航電軟件系統(tǒng)安全性驗證方法研究[D].南京:南京航空航天大學(xué),2012.

    [9] Badder F,Nutt W.The description logic hand book:theory,implementation and application[M].Cambridge:Cambridge University Press,2002.

    [10] Lutz C,Wolter F,Zakharyaschev M.Temporal description logic:a survey[C]//Proceedings of the 15th international symposium on temporal representation and reasoning.Washington,DC:IEEE,2008:3-14.

    [11] 李 明,劉士儀,年福忠.基于時序描述邏輯的Web服務(wù)本體語言過程模型語義[J].計算機應(yīng)用,2013,33(1):266-269.

    [12] 榮先球.基于描述邏輯的UML行為圖的形式化研究[D].蘭州:蘭州理工大學(xué),2012.

    [13] Baader F,Bauer A,Lippmann M.Runtime verification using a temporal description logic[C]//Proceedings of 7th international conference on frontiers of combining systems.Berlin:Springer-Verlag,2009:149-164.

    [14] Vesely W E,Goldberg F F,Roberts N H,et al.Fault tree handbook[M].United States:U.S. Nuclear Regulatory Commission,1981.

    [15] Schamann J M.Automated theorem proving in software engineering[M].Berlin:Springer-Verlag,2001.

    [16] Huth M,Ryan M.Logic in computer science:modeling and reasoning about systems[M].Cambridge,UK:Cambridge University Press,2004.

    ResearchonFaultTreeAnalysisBasedonTemporalDescriptionLogic

    SI Jia,ZHU Yi-quan,MA Lin

    (School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China)

    Fault Tree Analysis (FTA) is one of safety analysis methods which is commonly used in industry.However,as the limitation of its non-formal method,it is difficult to be formal verification of software fault and even to describe the temporal logic relation between events in embedded real-time system.Therefore,in order to solve the problem,a formal fault tree analysis based on Temporal Description Logic (TDL) is proposed.Firstly,the fault tree is extended and constrained in temporal sequence characteristic by TDL.Secondly,safety attributes of software are extracted in the representation of TDL.At last,the safety attributes modeling is carried out in software system which is verified whether to meet these attributes or not by SPIN,a model checking tool.A case of environment input module of airborne control system is given where the analysis and modeling of fault tree is conducted,and its security attributes to be checked and experimental results are achieved.It is showed that the proposed method is effective and feasible.

    fault tree analysis;temporal description logic;safety attributes;formal verification

    TP311

    A

    1673-629X(2017)12-0089-04

    10.3969/j.issn.1673-629X.2017.12.020

    2016-11-30

    2017-04-05 < class="emphasis_bold">網(wǎng)絡(luò)出版時間

    時間:2017-08-01

    國家自然科學(xué)基金資助項目(61272083,61100034,61170043);中央高?;究蒲袠I(yè)務(wù)費專項資金(NS2014099);江蘇省自然科學(xué)基金青年基金項目(BK20130812)

    司 佳(1992-),男,碩士研究生,研究方向為需求工程、安全工程。

    http://kns.cnki.net/kcms/detail/61.1450.TP.20170801.1554.054.html

    猜你喜歡
    規(guī)約分析方法時序
    時序坐標(biāo)
    基于Sentinel-2時序NDVI的麥冬識別研究
    基于EMD的MEMS陀螺儀隨機漂移分析方法
    一種角接觸球軸承靜特性分析方法
    重型機械(2020年2期)2020-07-24 08:16:16
    中國設(shè)立PSSA的可行性及其分析方法
    中國航海(2019年2期)2019-07-24 08:26:40
    電力系統(tǒng)通信規(guī)約庫抽象設(shè)計與實現(xiàn)
    一種在復(fù)雜環(huán)境中支持容錯的高性能規(guī)約框架
    一種改進的LLL模糊度規(guī)約算法
    一種毫米波放大器時序直流電源的設(shè)計
    電子制作(2016年15期)2017-01-15 13:39:08
    修辭的敞開與遮蔽*——對公共話語規(guī)約意義的批判性解讀
    国产在线一区二区三区精| 国产白丝娇喘喷水9色精品| 大陆偷拍与自拍| 国产精品99久久久久久久久| 久久久久国产网址| 国产白丝娇喘喷水9色精品| 成人黄色视频免费在线看| 有码 亚洲区| 久久午夜综合久久蜜桃| 在线观看www视频免费| 内地一区二区视频在线| 国产精品不卡视频一区二区| 亚洲精品乱码久久久久久按摩| 国产成人免费观看mmmm| 婷婷色综合www| 国内精品宾馆在线| 欧美亚洲日本最大视频资源| av在线老鸭窝| 永久网站在线| 国产极品天堂在线| 成人漫画全彩无遮挡| 精品人妻熟女av久视频| 久久婷婷青草| 亚洲av中文av极速乱| 国产国拍精品亚洲av在线观看| 中国国产av一级| 国产黄色视频一区二区在线观看| 国产午夜精品一二区理论片| 亚洲精品久久久久久婷婷小说| 色哟哟·www| 亚洲精品日本国产第一区| 免费黄频网站在线观看国产| 亚洲第一区二区三区不卡| 国产一区二区在线观看av| 久久人人爽av亚洲精品天堂| 91精品国产九色| 中国美白少妇内射xxxbb| 日韩av不卡免费在线播放| 久久人人爽人人爽人人片va| 国产黄色视频一区二区在线观看| 中国美白少妇内射xxxbb| 这个男人来自地球电影免费观看 | 亚洲精品一区蜜桃| 在线天堂最新版资源| 精品一区二区免费观看| 好男人视频免费观看在线| 免费黄网站久久成人精品| 亚洲中文av在线| av免费观看日本| 色视频在线一区二区三区| 99热全是精品| 国产成人freesex在线| 黄片无遮挡物在线观看| 高清不卡的av网站| av黄色大香蕉| 永久免费av网站大全| 黑人高潮一二区| 国产精品熟女久久久久浪| 黑人巨大精品欧美一区二区蜜桃 | 国产黄频视频在线观看| 亚洲欧美日韩卡通动漫| 乱码一卡2卡4卡精品| 插逼视频在线观看| 一区二区av电影网| 丝袜美足系列| 国产精品麻豆人妻色哟哟久久| 老司机影院毛片| 99热网站在线观看| 久久国内精品自在自线图片| 欧美变态另类bdsm刘玥| 亚洲色图 男人天堂 中文字幕 | 王馨瑶露胸无遮挡在线观看| 精品一区二区三卡| 18在线观看网站| 欧美另类一区| 18禁动态无遮挡网站| 欧美日本中文国产一区发布| 国产成人免费观看mmmm| 欧美xxxx性猛交bbbb| 热99久久久久精品小说推荐| 精品国产乱码久久久久久小说| 国产av国产精品国产| 香蕉精品网在线| 久久久久国产网址| 爱豆传媒免费全集在线观看| 一级黄片播放器| 午夜免费男女啪啪视频观看| 精品久久久久久久久亚洲| 日韩成人av中文字幕在线观看| 成人二区视频| 99国产综合亚洲精品| 最近最新中文字幕免费大全7| 春色校园在线视频观看| 一级毛片aaaaaa免费看小| 男的添女的下面高潮视频| 又粗又硬又长又爽又黄的视频| 国产精品嫩草影院av在线观看| 欧美97在线视频| 欧美xxⅹ黑人| 久久久久精品久久久久真实原创| 精品久久国产蜜桃| 一二三四中文在线观看免费高清| 久久精品久久精品一区二区三区| 我的老师免费观看完整版| 日本与韩国留学比较| 国产熟女午夜一区二区三区 | 久久 成人 亚洲| 美女国产高潮福利片在线看| 热re99久久精品国产66热6| 亚洲国产精品国产精品| 久久毛片免费看一区二区三区| 国产精品一区二区三区四区免费观看| 91久久精品电影网| 欧美人与性动交α欧美精品济南到 | 一级毛片aaaaaa免费看小| 亚洲中文av在线| 日本wwww免费看| 亚洲综合精品二区| 18+在线观看网站| 汤姆久久久久久久影院中文字幕| 亚洲婷婷狠狠爱综合网| 午夜免费男女啪啪视频观看| 精品久久久久久电影网| 最近2019中文字幕mv第一页| 看十八女毛片水多多多| 亚洲综合色网址| 精品一区二区三区视频在线| av线在线观看网站| 蜜桃国产av成人99| 国模一区二区三区四区视频| 亚洲精品中文字幕在线视频| 国产色爽女视频免费观看| 免费看光身美女| 制服丝袜香蕉在线| 大香蕉久久成人网| 国产欧美另类精品又又久久亚洲欧美| 综合色丁香网| 人妻少妇偷人精品九色| 亚洲不卡免费看| 尾随美女入室| 寂寞人妻少妇视频99o| av免费观看日本| 国产片内射在线| 中文字幕精品免费在线观看视频 | 国产精品一区www在线观看| 免费看av在线观看网站| 秋霞伦理黄片| av有码第一页| 只有这里有精品99| 国产一区亚洲一区在线观看| 久久99热这里只频精品6学生| 老司机亚洲免费影院| 亚洲av不卡在线观看| 久久久a久久爽久久v久久| 91精品一卡2卡3卡4卡| 国产成人精品无人区| 婷婷色麻豆天堂久久| 欧美bdsm另类| 黑人欧美特级aaaaaa片| 好男人视频免费观看在线| 免费看av在线观看网站| 天天影视国产精品| 日本黄色日本黄色录像| 亚洲av欧美aⅴ国产| 精品一区二区免费观看| 日本av手机在线免费观看| 曰老女人黄片| 免费黄频网站在线观看国产| 人妻制服诱惑在线中文字幕| 99视频精品全部免费 在线| 欧美精品一区二区免费开放| 777米奇影视久久| 一本久久精品| 在线亚洲精品国产二区图片欧美 | 午夜福利网站1000一区二区三区| 国产欧美日韩综合在线一区二区| 97在线视频观看| 大片免费播放器 马上看| 三级国产精品片| 免费人成在线观看视频色| 国产av码专区亚洲av| 又粗又硬又长又爽又黄的视频| 亚洲精品成人av观看孕妇| 午夜免费观看性视频| 免费观看在线日韩| 日韩伦理黄色片| 青春草亚洲视频在线观看| av电影中文网址| 蜜桃久久精品国产亚洲av| 赤兔流量卡办理| 大陆偷拍与自拍| 亚洲综合色惰| 国产亚洲午夜精品一区二区久久| 中文字幕av电影在线播放| 久久精品夜色国产| 国产亚洲av片在线观看秒播厂| 久久久久国产网址| 欧美亚洲 丝袜 人妻 在线| 日韩三级伦理在线观看| 毛片一级片免费看久久久久| 亚洲精品中文字幕在线视频| 99久久精品一区二区三区| 熟女电影av网| 视频区图区小说| 国产综合精华液| 2021少妇久久久久久久久久久| 久久狼人影院| 亚洲经典国产精华液单| 我的老师免费观看完整版| 欧美日韩精品成人综合77777| 丰满乱子伦码专区| 中文字幕精品免费在线观看视频 | 成年av动漫网址| 91精品三级在线观看| 汤姆久久久久久久影院中文字幕| 丰满乱子伦码专区| 精品人妻熟女av久视频| 国产淫语在线视频| 精品熟女少妇av免费看| 久久久久久伊人网av| 青青草视频在线视频观看| 天堂俺去俺来也www色官网| 免费黄频网站在线观看国产| 久久精品人人爽人人爽视色| 国产精品一国产av| 久久ye,这里只有精品| 水蜜桃什么品种好| 国产淫语在线视频| 亚洲av日韩在线播放| 亚洲国产精品专区欧美| 亚洲色图综合在线观看| 免费黄色在线免费观看| 男女无遮挡免费网站观看| 狠狠婷婷综合久久久久久88av| 国产极品粉嫩免费观看在线 | av国产久精品久网站免费入址| 欧美变态另类bdsm刘玥| 免费不卡的大黄色大毛片视频在线观看| 欧美3d第一页| 日韩一本色道免费dvd| av卡一久久| 午夜视频国产福利| 国产一区亚洲一区在线观看| 伊人久久国产一区二区| 看非洲黑人一级黄片| 51国产日韩欧美| 久久国产精品大桥未久av| 青春草亚洲视频在线观看| 国产一区有黄有色的免费视频| 日本av免费视频播放| 久久久久网色| videosex国产| 久久99热这里只频精品6学生| 亚洲精品久久成人aⅴ小说 | 成年av动漫网址| 亚洲一区二区三区欧美精品| 在线 av 中文字幕| 国产av精品麻豆| 最近中文字幕高清免费大全6| 久久婷婷青草| 五月玫瑰六月丁香| 国产日韩欧美亚洲二区| 亚洲美女视频黄频| 欧美成人精品欧美一级黄| 久久久亚洲精品成人影院| 精品国产国语对白av| 国产伦理片在线播放av一区| 欧美少妇被猛烈插入视频| 十八禁高潮呻吟视频| 欧美日韩在线观看h| 亚洲精品日本国产第一区| 国产白丝娇喘喷水9色精品| 制服人妻中文乱码| 久热这里只有精品99| 亚洲综合色惰| 亚洲国产精品国产精品| 搡女人真爽免费视频火全软件| 97精品久久久久久久久久精品| 成年人免费黄色播放视频| 婷婷色综合大香蕉| 丰满乱子伦码专区| 美女国产高潮福利片在线看| 日韩精品免费视频一区二区三区 | 日日摸夜夜添夜夜添av毛片| 如日韩欧美国产精品一区二区三区 | 国产一区二区在线观看日韩| 中文字幕av电影在线播放| 久久精品国产a三级三级三级| 欧美三级亚洲精品| 国产男女内射视频| 少妇熟女欧美另类| 欧美日本中文国产一区发布| 久久久久久久久大av| 免费看av在线观看网站| 国产精品成人在线| 一级黄片播放器| 久久99一区二区三区| 成人无遮挡网站| 99国产精品免费福利视频| 国产精品欧美亚洲77777| 国产亚洲av片在线观看秒播厂| 国产极品粉嫩免费观看在线 | av网站免费在线观看视频| 能在线免费看毛片的网站| 日本黄色日本黄色录像| 日本爱情动作片www.在线观看| 久久久欧美国产精品| 在线观看三级黄色| 黄色欧美视频在线观看| 亚洲av福利一区| 精品人妻一区二区三区麻豆| 少妇丰满av| 国产精品久久久久久精品古装| 亚洲激情五月婷婷啪啪| 国产黄色视频一区二区在线观看| 日韩人妻高清精品专区| 欧美日韩av久久| 午夜福利在线观看免费完整高清在| 嫩草影院入口| 久久久久久久久久久免费av| 777米奇影视久久| 日韩 亚洲 欧美在线| 久久婷婷青草| 精品人妻偷拍中文字幕| 国产精品一区二区在线不卡| 国产欧美日韩一区二区三区在线 | 天美传媒精品一区二区| 久久久国产欧美日韩av| 交换朋友夫妻互换小说| a级毛片免费高清观看在线播放| 婷婷成人精品国产| 国产av码专区亚洲av| 一级毛片电影观看| 三上悠亚av全集在线观看| 成年美女黄网站色视频大全免费 | 午夜免费男女啪啪视频观看| 日韩中字成人| 免费日韩欧美在线观看| 亚洲成色77777| av国产精品久久久久影院| 欧美人与善性xxx| 男女高潮啪啪啪动态图| 亚洲精品一二三| 男女高潮啪啪啪动态图| 亚洲精华国产精华液的使用体验| 久久久久人妻精品一区果冻| 亚洲性久久影院| 青春草亚洲视频在线观看| 免费看不卡的av| a级毛片免费高清观看在线播放| 久久婷婷青草| av一本久久久久| 成人午夜精彩视频在线观看| 免费av中文字幕在线| 亚洲美女搞黄在线观看| 亚洲一区二区三区欧美精品| 51国产日韩欧美| 亚洲欧美精品自产自拍| 中文字幕av电影在线播放| 亚洲三级黄色毛片| 看非洲黑人一级黄片| 一区二区三区乱码不卡18| 一区二区日韩欧美中文字幕 | 久久亚洲国产成人精品v| av在线观看视频网站免费| 中文字幕av电影在线播放| 夜夜爽夜夜爽视频| 亚洲精品,欧美精品| 人妻人人澡人人爽人人| 国产精品不卡视频一区二区| 亚洲国产精品专区欧美| 一级黄片播放器| 精品国产一区二区三区久久久樱花| a级毛片免费高清观看在线播放| 嘟嘟电影网在线观看| 肉色欧美久久久久久久蜜桃| 一级二级三级毛片免费看| 欧美变态另类bdsm刘玥| 18禁在线播放成人免费| 成年人免费黄色播放视频| 国产av国产精品国产| 岛国毛片在线播放| 久久午夜福利片| 成人亚洲欧美一区二区av| 一级毛片我不卡| 高清午夜精品一区二区三区| a级毛片黄视频| 美女大奶头黄色视频| 狂野欧美白嫩少妇大欣赏| 日韩av不卡免费在线播放| 久久久久国产精品人妻一区二区| 91国产中文字幕| 亚洲精品中文字幕在线视频| 人人妻人人澡人人看| 免费久久久久久久精品成人欧美视频 | 性色avwww在线观看| .国产精品久久| 国模一区二区三区四区视频| 亚洲欧美精品自产自拍| 最近2019中文字幕mv第一页| 国产精品偷伦视频观看了| 少妇熟女欧美另类| 久久99一区二区三区| 91久久精品国产一区二区成人| 国产亚洲最大av| 99久久人妻综合| av免费观看日本| 日韩一区二区三区影片| 永久免费av网站大全| 一区二区三区乱码不卡18| 国产成人精品福利久久| 一级二级三级毛片免费看| 亚洲人成网站在线观看播放| 99久久中文字幕三级久久日本| 熟妇人妻不卡中文字幕| 18在线观看网站| a 毛片基地| 久久99一区二区三区| 午夜福利影视在线免费观看| 欧美日韩综合久久久久久| 国产黄片视频在线免费观看| 精品少妇黑人巨大在线播放| 国产视频首页在线观看| 成年女人在线观看亚洲视频| 久久精品国产自在天天线| 国产亚洲一区二区精品| 国产女主播在线喷水免费视频网站| 美女内射精品一级片tv| 欧美激情国产日韩精品一区| 看非洲黑人一级黄片| 久久99热6这里只有精品| 日本-黄色视频高清免费观看| av在线播放精品| 亚洲精华国产精华液的使用体验| 国产欧美另类精品又又久久亚洲欧美| 久热久热在线精品观看| 男女啪啪激烈高潮av片| 亚洲欧美清纯卡通| 国产精品.久久久| 免费观看性生交大片5| 亚洲av二区三区四区| 亚洲精品国产av成人精品| 人成视频在线观看免费观看| 三级国产精品片| av福利片在线| 国产69精品久久久久777片| 欧美xxⅹ黑人| 观看美女的网站| 国产亚洲精品久久久com| av专区在线播放| 亚洲精品乱久久久久久| 狂野欧美激情性bbbbbb| 少妇高潮的动态图| 青春草亚洲视频在线观看| 国产日韩欧美亚洲二区| 亚洲精品日韩av片在线观看| 欧美日韩av久久| 欧美日韩综合久久久久久| 一区二区三区四区激情视频| 国产免费又黄又爽又色| 少妇的逼好多水| 国产av一区二区精品久久| 中文字幕最新亚洲高清| 男人添女人高潮全过程视频| 国产精品人妻久久久影院| 在线观看人妻少妇| 亚洲精品日韩av片在线观看| 婷婷色麻豆天堂久久| 一本大道久久a久久精品| 一本一本久久a久久精品综合妖精 国产伦在线观看视频一区 | 成人漫画全彩无遮挡| 久久久精品免费免费高清| 丰满乱子伦码专区| 国产午夜精品一二区理论片| 中文字幕最新亚洲高清| 午夜福利,免费看| 国产高清国产精品国产三级| 免费看不卡的av| 精品久久国产蜜桃| 久久这里有精品视频免费| 亚洲精品国产色婷婷电影| 熟女av电影| 国产成人av激情在线播放 | 欧美日韩成人在线一区二区| 韩国高清视频一区二区三区| 99精国产麻豆久久婷婷| 大片免费播放器 马上看| 欧美激情极品国产一区二区三区 | 亚洲综合精品二区| 99精国产麻豆久久婷婷| 精品少妇内射三级| 精品国产露脸久久av麻豆| av国产久精品久网站免费入址| 人人妻人人澡人人爽人人夜夜| 性色avwww在线观看| 亚洲欧美精品自产自拍| 亚洲精品日本国产第一区| 亚洲第一区二区三区不卡| 一本一本综合久久| 成人毛片60女人毛片免费| 国产黄色视频一区二区在线观看| 亚洲精品乱码久久久久久按摩| 久久久精品区二区三区| av福利片在线| 99热这里只有精品一区| 国产国语露脸激情在线看| 亚洲人成网站在线播| 久久人妻熟女aⅴ| 狂野欧美白嫩少妇大欣赏| 免费观看av网站的网址| 亚洲国产精品成人久久小说| 久久久午夜欧美精品| 妹子高潮喷水视频| 日本午夜av视频| 亚洲av在线观看美女高潮| 女人精品久久久久毛片| 久久久国产欧美日韩av| 一本—道久久a久久精品蜜桃钙片| 久久精品国产鲁丝片午夜精品| 视频区图区小说| 中文字幕人妻熟人妻熟丝袜美| 国产精品国产三级国产av玫瑰| 亚洲国产精品国产精品| 色婷婷av一区二区三区视频| 亚洲少妇的诱惑av| 色婷婷av一区二区三区视频| 97在线人人人人妻| 一本色道久久久久久精品综合| 国产一区有黄有色的免费视频| xxx大片免费视频| 青春草视频在线免费观看| 97在线视频观看| 日日摸夜夜添夜夜添av毛片| av在线播放精品| 久久精品人人爽人人爽视色| 成人无遮挡网站| 狠狠婷婷综合久久久久久88av| 亚洲精品日本国产第一区| 天堂中文最新版在线下载| 亚洲五月色婷婷综合| 少妇人妻 视频| 少妇的逼水好多| 亚洲婷婷狠狠爱综合网| 18在线观看网站| 精品亚洲成a人片在线观看| 久久影院123| 全区人妻精品视频| 建设人人有责人人尽责人人享有的| 色婷婷av一区二区三区视频| 尾随美女入室| 热99国产精品久久久久久7| 亚洲天堂av无毛| 日韩视频在线欧美| 黄色毛片三级朝国网站| 日韩av不卡免费在线播放| 乱人伦中国视频| 久久久久人妻精品一区果冻| 你懂的网址亚洲精品在线观看| 三级国产精品片| 各种免费的搞黄视频| 精品少妇黑人巨大在线播放| 精品一区二区三区视频在线| 视频区图区小说| 国产成人午夜福利电影在线观看| 人妻人人澡人人爽人人| 国产精品一国产av| 久久精品熟女亚洲av麻豆精品| 91精品国产国语对白视频| 美女大奶头黄色视频| 亚洲图色成人| 搡老乐熟女国产| 免费观看在线日韩| 国产精品蜜桃在线观看| 国产精品免费大片| 成人亚洲精品一区在线观看| 久久精品国产亚洲网站| 黑人高潮一二区| 岛国毛片在线播放| 少妇人妻精品综合一区二区| 亚洲av.av天堂| 十八禁网站网址无遮挡| 夜夜爽夜夜爽视频| 少妇猛男粗大的猛烈进出视频| 午夜日本视频在线| 国产色爽女视频免费观看| av国产精品久久久久影院| 日韩av不卡免费在线播放| 新久久久久国产一级毛片| 人人妻人人添人人爽欧美一区卜| 国产女主播在线喷水免费视频网站| 成年av动漫网址| 久久久久人妻精品一区果冻| 午夜福利在线观看免费完整高清在| 中文字幕制服av| 日韩强制内射视频| 肉色欧美久久久久久久蜜桃| 国产欧美日韩一区二区三区在线 | 看免费成人av毛片| 丝袜脚勾引网站| 最黄视频免费看| 80岁老熟妇乱子伦牲交| 插阴视频在线观看视频| 美女主播在线视频| 国产精品国产av在线观看| 最后的刺客免费高清国语| 日本午夜av视频| 久久毛片免费看一区二区三区| 高清欧美精品videossex| 国产极品粉嫩免费观看在线 | 一级片'在线观看视频| 亚洲成色77777| 亚洲成人一二三区av| 免费av中文字幕在线| av.在线天堂| 免费黄网站久久成人精品|