• <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ī)約意義的批判性解讀
    国产伦一二天堂av在线观看| 精品人妻视频免费看| 欧美日韩瑟瑟在线播放| 国产成人欧美在线观看| 欧美一区二区亚洲| 18禁黄网站禁片免费观看直播| 中文字幕av在线有码专区| 日韩有码中文字幕| 女人十人毛片免费观看3o分钟| 亚洲精品日韩av片在线观看| av在线蜜桃| 午夜日韩欧美国产| 国产精品久久电影中文字幕| 成年人黄色毛片网站| 深爱激情五月婷婷| 丁香欧美五月| 成人毛片a级毛片在线播放| 亚洲av电影不卡..在线观看| 亚洲av第一区精品v没综合| 久久精品久久久久久噜噜老黄 | 自拍偷自拍亚洲精品老妇| 啦啦啦韩国在线观看视频| 97超级碰碰碰精品色视频在线观看| 一区二区三区免费毛片| a级毛片a级免费在线| 国产欧美日韩一区二区三| 美女大奶头视频| 国语自产精品视频在线第100页| 直男gayav资源| 中国美女看黄片| 美女高潮喷水抽搐中文字幕| 日本免费一区二区三区高清不卡| 亚洲va日本ⅴa欧美va伊人久久| 尤物成人国产欧美一区二区三区| 蜜桃亚洲精品一区二区三区| 一区二区三区免费毛片| 国产国拍精品亚洲av在线观看| 18禁黄网站禁片免费观看直播| 99视频精品全部免费 在线| 美女被艹到高潮喷水动态| 精品日产1卡2卡| 国产精品美女特级片免费视频播放器| 亚洲aⅴ乱码一区二区在线播放| 90打野战视频偷拍视频| 丰满人妻一区二区三区视频av| av天堂在线播放| av在线蜜桃| 小说图片视频综合网站| 真人做人爱边吃奶动态| 一级黄片播放器| 青草久久国产| 精品久久久久久久末码| 一个人免费在线观看电影| 十八禁网站免费在线| 丰满的人妻完整版| 成人三级黄色视频| 国内精品美女久久久久久| 亚洲经典国产精华液单 | 亚洲真实伦在线观看| 不卡一级毛片| 一级黄色大片毛片| 中文字幕高清在线视频| 别揉我奶头 嗯啊视频| 日韩亚洲欧美综合| 欧美xxxx黑人xx丫x性爽| 国产精品久久久久久人妻精品电影| 国产精品av视频在线免费观看| 此物有八面人人有两片| 一进一出抽搐gif免费好疼| 老熟妇乱子伦视频在线观看| 一本综合久久免费| 天堂av国产一区二区熟女人妻| 午夜久久久久精精品| 91麻豆av在线| 一卡2卡三卡四卡精品乱码亚洲| 蜜桃久久精品国产亚洲av| 亚洲一区高清亚洲精品| 免费在线观看亚洲国产| 一进一出抽搐动态| 国产亚洲精品久久久com| 一个人免费在线观看电影| 国产亚洲欧美在线一区二区| 五月玫瑰六月丁香| 他把我摸到了高潮在线观看| 国产三级中文精品| 变态另类成人亚洲欧美熟女| 欧美激情久久久久久爽电影| 老熟妇乱子伦视频在线观看| 久久精品人妻少妇| 波多野结衣高清无吗| 亚洲中文字幕一区二区三区有码在线看| 日韩精品中文字幕看吧| 欧美日韩国产亚洲二区| 欧美日本视频| 午夜免费男女啪啪视频观看 | 一区二区三区高清视频在线| 亚洲av五月六月丁香网| 老熟妇乱子伦视频在线观看| h日本视频在线播放| 成人国产综合亚洲| 国产毛片a区久久久久| 看十八女毛片水多多多| 亚洲精品一卡2卡三卡4卡5卡| 女同久久另类99精品国产91| 三级男女做爰猛烈吃奶摸视频| h日本视频在线播放| 国产精品1区2区在线观看.| 国内精品一区二区在线观看| 亚洲最大成人中文| 欧美绝顶高潮抽搐喷水| 内射极品少妇av片p| 91狼人影院| 一个人看视频在线观看www免费| 欧美乱色亚洲激情| 国内精品一区二区在线观看| h日本视频在线播放| 成人国产综合亚洲| 国产乱人伦免费视频| 人妻制服诱惑在线中文字幕| 日韩欧美在线乱码| 国产亚洲精品综合一区在线观看| 亚洲,欧美,日韩| 伊人久久精品亚洲午夜| 色综合婷婷激情| 欧美+日韩+精品| 国产成+人综合+亚洲专区| 亚洲av中文字字幕乱码综合| 搡老熟女国产l中国老女人| 国产伦一二天堂av在线观看| 欧美+日韩+精品| 成人高潮视频无遮挡免费网站| 婷婷亚洲欧美| 麻豆成人av在线观看| 全区人妻精品视频| 国产一区二区三区视频了| 在线天堂最新版资源| 国产亚洲精品久久久久久毛片| 99久久九九国产精品国产免费| 日本a在线网址| 一区二区三区四区激情视频 | 美女高潮喷水抽搐中文字幕| 丰满人妻一区二区三区视频av| 热99在线观看视频| 国产蜜桃级精品一区二区三区| 欧美bdsm另类| av欧美777| 美女黄网站色视频| 97超视频在线观看视频| 国内揄拍国产精品人妻在线| 在线观看av片永久免费下载| 人妻丰满熟妇av一区二区三区| 久久香蕉精品热| 少妇被粗大猛烈的视频| 日韩成人在线观看一区二区三区| 日韩欧美在线乱码| 日韩欧美在线乱码| 免费无遮挡裸体视频| 亚洲精品在线美女| 亚洲精品在线观看二区| 草草在线视频免费看| 精品乱码久久久久久99久播| 99在线人妻在线中文字幕| а√天堂www在线а√下载| 久久久久九九精品影院| 热99re8久久精品国产| 性欧美人与动物交配| 99久久成人亚洲精品观看| 国产大屁股一区二区在线视频| 精品国内亚洲2022精品成人| 亚洲一区二区三区不卡视频| 白带黄色成豆腐渣| 在线观看免费视频日本深夜| 亚洲成人久久性| 亚洲自拍偷在线| 热99在线观看视频| 亚洲18禁久久av| 久久久久久大精品| 在线观看美女被高潮喷水网站 | 免费看日本二区| 国产中年淑女户外野战色| 亚洲人成电影免费在线| 精品无人区乱码1区二区| 日本黄色片子视频| 亚洲久久久久久中文字幕| 国产在视频线在精品| 老女人水多毛片| 亚洲av中文字字幕乱码综合| 熟妇人妻久久中文字幕3abv| 欧美日本视频| 在线a可以看的网站| 色哟哟哟哟哟哟| av在线蜜桃| 欧美一区二区精品小视频在线| 国产三级中文精品| 久久久成人免费电影| 少妇丰满av| 日本 av在线| 日本精品一区二区三区蜜桃| 十八禁网站免费在线| 九九热线精品视视频播放| 亚洲国产精品成人综合色| 日韩有码中文字幕| 久久久国产成人精品二区| 亚洲美女搞黄在线观看 | 日本五十路高清| 九九久久精品国产亚洲av麻豆| 免费av毛片视频| 久久久精品欧美日韩精品| 性色avwww在线观看| 久久午夜亚洲精品久久| 夜夜夜夜夜久久久久| 国产又黄又爽又无遮挡在线| 窝窝影院91人妻| 黄色配什么色好看| 人妻夜夜爽99麻豆av| 美女大奶头视频| 国产精品一区二区三区四区久久| 极品教师在线免费播放| 久久久久国内视频| 一级黄片播放器| 国内久久婷婷六月综合欲色啪| 日日摸夜夜添夜夜添小说| 欧美乱色亚洲激情| 亚洲 欧美 日韩 在线 免费| 村上凉子中文字幕在线| 长腿黑丝高跟| 99国产精品一区二区蜜桃av| 青草久久国产| 久久99热6这里只有精品| 日本一本二区三区精品| 欧美激情久久久久久爽电影| 国产免费一级a男人的天堂| 亚洲成人中文字幕在线播放| 免费av毛片视频| 久久久久久久午夜电影| 色精品久久人妻99蜜桃| 久久久国产成人精品二区| 99精品在免费线老司机午夜| 在线播放国产精品三级| 国产视频内射| 精品久久久久久久久久免费视频| 一本综合久久免费| 欧美日韩综合久久久久久 | 欧美日韩亚洲国产一区二区在线观看| 久久久久久久亚洲中文字幕 | 男女床上黄色一级片免费看| av在线天堂中文字幕| 亚洲成av人片免费观看| 欧美高清性xxxxhd video| 中文字幕久久专区| 久久久久国产精品人妻aⅴ院| 神马国产精品三级电影在线观看| 午夜a级毛片| 色综合站精品国产| 97热精品久久久久久| 又爽又黄无遮挡网站| 可以在线观看毛片的网站| .国产精品久久| 精品人妻1区二区| 欧美精品国产亚洲| www.www免费av| 亚洲av不卡在线观看| 在线观看舔阴道视频| 成人av一区二区三区在线看| 男女做爰动态图高潮gif福利片| 午夜福利免费观看在线| 青草久久国产| 尤物成人国产欧美一区二区三区| 成人永久免费在线观看视频| 日韩欧美 国产精品| 欧美黑人欧美精品刺激| 国模一区二区三区四区视频| 免费在线观看成人毛片| 国产高清三级在线| 9191精品国产免费久久| 动漫黄色视频在线观看| 一a级毛片在线观看| 18禁在线播放成人免费| 亚洲av免费高清在线观看| 欧美中文日本在线观看视频| 可以在线观看毛片的网站| 国产亚洲精品久久久久久毛片| 草草在线视频免费看| 欧美日韩乱码在线| 欧美日韩福利视频一区二区| 麻豆av噜噜一区二区三区| 国产精品电影一区二区三区| 91字幕亚洲| 国产一区二区在线av高清观看| 最近最新免费中文字幕在线| 特大巨黑吊av在线直播| 好看av亚洲va欧美ⅴa在| 日本五十路高清| 变态另类丝袜制服| 国产真实乱freesex| 最近最新中文字幕大全电影3| 人妻制服诱惑在线中文字幕| 日本与韩国留学比较| 乱人视频在线观看| 国产精品美女特级片免费视频播放器| 国产高清三级在线| 国产老妇女一区| 精品一区二区免费观看| 欧美黑人巨大hd| 一级黄片播放器| 国产亚洲精品av在线| 成人毛片a级毛片在线播放| АⅤ资源中文在线天堂| 18禁裸乳无遮挡免费网站照片| 在线播放国产精品三级| 免费av不卡在线播放| 日本 av在线| 性插视频无遮挡在线免费观看| 成人亚洲精品av一区二区| 国产熟女xx| 日本五十路高清| 免费大片18禁| aaaaa片日本免费| 午夜日韩欧美国产| 亚洲精品亚洲一区二区| 少妇的逼好多水| 欧美日韩福利视频一区二区| 看免费av毛片| 人妻夜夜爽99麻豆av| 天堂√8在线中文| 好男人在线观看高清免费视频| 久久久精品大字幕| 每晚都被弄得嗷嗷叫到高潮| 国产高清视频在线观看网站| 国产亚洲精品久久久com| 午夜久久久久精精品| 三级男女做爰猛烈吃奶摸视频| 国产不卡一卡二| 毛片一级片免费看久久久久 | or卡值多少钱| 日韩 亚洲 欧美在线| 国内精品久久久久精免费| 欧美日韩黄片免| 国产av不卡久久| 亚洲国产色片| 看片在线看免费视频| 99久久久亚洲精品蜜臀av| АⅤ资源中文在线天堂| 午夜精品在线福利| 真人做人爱边吃奶动态| 婷婷精品国产亚洲av在线| 俄罗斯特黄特色一大片| 精品无人区乱码1区二区| 看片在线看免费视频| 国产高清视频在线播放一区| 亚洲内射少妇av| 午夜精品在线福利| 国产大屁股一区二区在线视频| 日韩中文字幕欧美一区二区| 亚洲激情在线av| 亚洲国产精品成人综合色| 亚洲美女搞黄在线观看 | 日本免费a在线| 99久久99久久久精品蜜桃| 中文亚洲av片在线观看爽| 亚洲18禁久久av| 国产成人aa在线观看| 国产午夜精品论理片| 男女做爰动态图高潮gif福利片| 99riav亚洲国产免费| 亚洲在线观看片| 国产三级中文精品| 一级毛片久久久久久久久女| 日韩欧美在线二视频| 日韩中文字幕欧美一区二区| 国产精品一区二区三区四区久久| 精品欧美国产一区二区三| 波多野结衣巨乳人妻| 人人妻,人人澡人人爽秒播| 亚洲性夜色夜夜综合| 午夜福利成人在线免费观看| 婷婷精品国产亚洲av| 欧美黄色片欧美黄色片| 欧美成狂野欧美在线观看| 真人做人爱边吃奶动态| 深夜a级毛片| 欧美黑人巨大hd| 午夜精品一区二区三区免费看| 精品人妻1区二区| 国产高清有码在线观看视频| 亚洲天堂国产精品一区在线| 日韩免费av在线播放| 超碰av人人做人人爽久久| 中出人妻视频一区二区| 精品福利观看| 长腿黑丝高跟| 欧美丝袜亚洲另类 | 亚洲人成网站高清观看| 国产精品久久久久久久电影| 国产精品三级大全| 蜜桃亚洲精品一区二区三区| 精品不卡国产一区二区三区| 亚洲内射少妇av| 女人被狂操c到高潮| 欧美区成人在线视频| 国产av不卡久久| 欧美成人免费av一区二区三区| 亚洲av二区三区四区| 亚洲国产欧洲综合997久久,| 精品人妻熟女av久视频| 757午夜福利合集在线观看| 国产免费av片在线观看野外av| 亚洲人成电影免费在线| 免费看光身美女| 国产免费av片在线观看野外av| 麻豆成人午夜福利视频| 亚洲成av人片在线播放无| 国产高清激情床上av| 日韩有码中文字幕| 国产探花极品一区二区| 欧美黄色片欧美黄色片| 国产日本99.免费观看| 精品福利观看| 亚洲av电影在线进入| 99热这里只有精品一区| 波多野结衣高清无吗| 久久午夜福利片| 精品久久久久久久人妻蜜臀av| 一a级毛片在线观看| 亚洲精品久久国产高清桃花| 可以在线观看毛片的网站| 精品久久久久久久久亚洲 | 欧美成人性av电影在线观看| av黄色大香蕉| 精品人妻偷拍中文字幕| 69av精品久久久久久| 国产欧美日韩精品一区二区| 亚洲精品日韩av片在线观看| www.www免费av| 搡老熟女国产l中国老女人| 国产免费av片在线观看野外av| 一进一出抽搐动态| 欧美不卡视频在线免费观看| 久久中文看片网| 久久草成人影院| 动漫黄色视频在线观看| 偷拍熟女少妇极品色| 精品人妻一区二区三区麻豆 | 久久久精品欧美日韩精品| 欧美高清性xxxxhd video| 两个人的视频大全免费| 91在线精品国自产拍蜜月| 免费一级毛片在线播放高清视频| 精品久久久久久久久亚洲 | 18禁黄网站禁片午夜丰满| 波野结衣二区三区在线| 国产三级黄色录像| 久久伊人香网站| 久久热精品热| 中亚洲国语对白在线视频| 中文字幕高清在线视频| 一区福利在线观看| 日韩有码中文字幕| 一进一出抽搐动态| 国内毛片毛片毛片毛片毛片| 国产精品永久免费网站| 日韩免费av在线播放| 中亚洲国语对白在线视频| 久久久久久久久中文| avwww免费| 三级毛片av免费| 亚洲中文字幕日韩| 舔av片在线| 精品99又大又爽又粗少妇毛片 | 在线天堂最新版资源| 中文字幕熟女人妻在线| 色尼玛亚洲综合影院| 国产男靠女视频免费网站| a在线观看视频网站| 欧美精品啪啪一区二区三区| 有码 亚洲区| 亚洲avbb在线观看| 久久热精品热| 亚洲精品久久国产高清桃花| 欧美日本视频| 国产成年人精品一区二区| 蜜桃亚洲精品一区二区三区| 亚洲成人久久性| 精品久久久久久久末码| 成人永久免费在线观看视频| 国产精品,欧美在线| 少妇人妻精品综合一区二区 | 国产在线精品亚洲第一网站| 97人妻精品一区二区三区麻豆| 毛片女人毛片| 老熟妇乱子伦视频在线观看| 超碰av人人做人人爽久久| 淫妇啪啪啪对白视频| 精品久久久久久久久亚洲 | 日韩欧美精品免费久久 | 88av欧美| 欧美另类亚洲清纯唯美| 亚洲乱码一区二区免费版| 久久九九热精品免费| 网址你懂的国产日韩在线| 久久久精品欧美日韩精品| 亚洲av成人精品一区久久| 日韩欧美一区二区三区在线观看| 国产单亲对白刺激| 一区二区三区激情视频| 久久精品综合一区二区三区| 日本黄色片子视频| 成人高潮视频无遮挡免费网站| 国产高清激情床上av| 亚洲国产精品成人综合色| 久久久久性生活片| 免费一级毛片在线播放高清视频| 三级国产精品欧美在线观看| 亚洲精品粉嫩美女一区| 久久精品国产亚洲av天美| 好男人电影高清在线观看| 国产精华一区二区三区| 波野结衣二区三区在线| av视频在线观看入口| 久久精品国产亚洲av涩爱 | 国产精品久久久久久人妻精品电影| 日韩欧美在线乱码| 国产一区二区激情短视频| 国产成人a区在线观看| 久久精品国产清高在天天线| 欧美日韩亚洲国产一区二区在线观看| 午夜福利18| 国产麻豆成人av免费视频| 亚洲中文字幕一区二区三区有码在线看| 久久久久国内视频| 国产乱人伦免费视频| 99久久无色码亚洲精品果冻| 在线十欧美十亚洲十日本专区| 一级毛片久久久久久久久女| 9191精品国产免费久久| 色哟哟·www| 精品国内亚洲2022精品成人| 黄片小视频在线播放| 老女人水多毛片| 国产精品,欧美在线| 天堂影院成人在线观看| 婷婷六月久久综合丁香| 亚洲精品乱码久久久v下载方式| 3wmmmm亚洲av在线观看| 91麻豆av在线| 亚洲精品日韩av片在线观看| 男人狂女人下面高潮的视频| 日韩成人在线观看一区二区三区| 99热这里只有是精品在线观看 | 99精品久久久久人妻精品| 人妻制服诱惑在线中文字幕| 国产伦人伦偷精品视频| 欧美激情国产日韩精品一区| 99国产综合亚洲精品| 91狼人影院| 我要看日韩黄色一级片| 久久久久免费精品人妻一区二区| 欧美性感艳星| 在线国产一区二区在线| 亚洲无线在线观看| 午夜日韩欧美国产| 俄罗斯特黄特色一大片| 亚洲,欧美,日韩| 乱人视频在线观看| 亚洲一区二区三区不卡视频| 偷拍熟女少妇极品色| 一本综合久久免费| 成人午夜高清在线视频| 看十八女毛片水多多多| 天天躁日日操中文字幕| 国产白丝娇喘喷水9色精品| 岛国在线免费视频观看| 少妇高潮的动态图| 亚洲五月天丁香| 国产视频一区二区在线看| 十八禁人妻一区二区| 亚洲精品在线美女| 最近在线观看免费完整版| 中文字幕av成人在线电影| aaaaa片日本免费| 亚洲成人精品中文字幕电影| 婷婷丁香在线五月| 婷婷色综合大香蕉| 特大巨黑吊av在线直播| 午夜a级毛片| 午夜久久久久精精品| 香蕉av资源在线| 最近最新中文字幕大全电影3| 日本精品一区二区三区蜜桃| 99热这里只有是精品50| 美女黄网站色视频| 精品一区二区三区av网在线观看| 国产欧美日韩精品亚洲av| 看免费av毛片| 欧美日韩中文字幕国产精品一区二区三区| 看黄色毛片网站| av在线天堂中文字幕| 欧美绝顶高潮抽搐喷水| av视频在线观看入口| 亚洲av二区三区四区| 免费观看的影片在线观看| 免费在线观看影片大全网站| 国产美女午夜福利| 免费看a级黄色片| 国产精品久久久久久久久免 | 少妇裸体淫交视频免费看高清| 伊人久久精品亚洲午夜| 亚洲av第一区精品v没综合| 久久久久国产精品人妻aⅴ院| 精品久久久久久久末码| 全区人妻精品视频| 最近在线观看免费完整版| av天堂在线播放| 99久国产av精品| 亚洲精品成人久久久久久|