天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當(dāng)前位置:主頁 > 碩博論文 > 信息類碩士論文 >

滿足用戶隱私需求的Web服務(wù)組合方法研究

發(fā)布時(shí)間:2017-06-06 16:09

  本文關(guān)鍵詞:滿足用戶隱私需求的Web服務(wù)組合方法研究,由筆耕文化傳播整理發(fā)布。


【摘要】:隨著面向服務(wù)架構(gòu)SOA(Service-oriented Architecture)的發(fā)展,Web服務(wù)組合已經(jīng)應(yīng)用到日常生活的各個(gè)領(lǐng)域。用戶在使用Web服務(wù)組合時(shí),需要提供一些個(gè)人隱私信息以完成必要的業(yè)務(wù)功能。所以,在滿足業(yè)務(wù)需求的前提下,找到一條滿足用戶隱私需求的Web服務(wù)組合路徑已經(jīng)成為當(dāng)前服務(wù)計(jì)算領(lǐng)域的研究熱點(diǎn),F(xiàn)有的Web服務(wù)組合方法更多的是關(guān)注如何去滿足用戶的業(yè)務(wù)需求,就算是對(duì)隱私需求有所關(guān)注,也僅僅解決了相對(duì)簡(jiǎn)單的用戶隱私需求。Web服務(wù)環(huán)境的動(dòng)態(tài)、異構(gòu)和自治的特征,使得隱私保護(hù)必須考慮服務(wù)間的行為交互,必須對(duì)用戶隱私數(shù)據(jù)以及它們之間的依賴關(guān)系加以限制。同時(shí),Web服務(wù)環(huán)境的特征還使得大部分的隱私數(shù)據(jù)依賴關(guān)系呈現(xiàn)出時(shí)序特征?紤]到在計(jì)算機(jī)領(lǐng)域模型檢測(cè)技術(shù)能夠?qū)Υ?yàn)證系統(tǒng)中時(shí)序相關(guān)特性進(jìn)行精確地檢測(cè),本文提出一種利用模型檢測(cè)工具來找到一條滿足用戶隱私需求的Web服務(wù)組合路徑的方法。本文的主要研究工作如下:(1)由于大部分隱私數(shù)據(jù)依賴關(guān)系都可以表達(dá)成時(shí)序?qū)傩约s束,因此采用線性時(shí)序邏輯規(guī)約隱私需求中的隱私數(shù)據(jù)間的依賴關(guān)系。在此之前,首先對(duì)隱私需求中的隱私數(shù)據(jù)依賴關(guān)系進(jìn)行分類分析,并分析這些數(shù)據(jù)依賴關(guān)系與Web服務(wù)行為約束之間的對(duì)應(yīng)關(guān)系,提出一種用線性時(shí)序邏輯規(guī)約隱私需求中隱私數(shù)據(jù)依賴的方法,并從隱私需求的隱私數(shù)據(jù)關(guān)系中提取出驗(yàn)證性質(zhì)。(2)考慮到模型檢測(cè)工具的輸入要求,在完成對(duì)隱私需求的LTL規(guī)約描述后,需要完成Web服務(wù)組合的形式化建模工作。因此,對(duì)UML活動(dòng)圖進(jìn)行隱私屬性擴(kuò)展,得到隱私活動(dòng)圖,利用該模型對(duì)Web服務(wù)組合的隱私行為進(jìn)行建模,并給出BPEL流程活動(dòng)到隱私活動(dòng)圖的轉(zhuǎn)換方法;然后提出轉(zhuǎn)換規(guī)則將該模型轉(zhuǎn)換成模型檢驗(yàn)工具SPIN能夠接收的Promela描述。(3)基于本文的研究方法,設(shè)計(jì)并實(shí)現(xiàn)了滿足用戶隱私需求的Web服務(wù)組合原型工具,利用該工具對(duì)WS-BPEL流程進(jìn)行隱私行為建模并借助SPIN完成隱私需求數(shù)據(jù)依賴關(guān)系的檢測(cè),并通過對(duì)結(jié)果的分析,返回給用戶一條滿足隱私需求的Web服務(wù)組合路徑;最后通過一個(gè)實(shí)例說明本文方法的可行性和有效性。
【關(guān)鍵詞】:Web服務(wù)組合 隱私需求 隱私保護(hù) 時(shí)序?qū)傩?/strong> UML活動(dòng)圖 模型檢驗(yàn)
【學(xué)位授予單位】:南京航空航天大學(xué)
【學(xué)位級(jí)別】:碩士
【學(xué)位授予年份】:2015
【分類號(hào)】:TP393.09;TP309
【目錄】:
  • 摘要4-5
  • ABSTRACT5-11
  • 注釋表11-12
  • 第一章 緒論12-17
  • 1.1 課題研究背景12-13
  • 1.2 國(guó)內(nèi)外研究現(xiàn)狀及選題依據(jù)13-15
  • 1.2.1 國(guó)內(nèi)外研究現(xiàn)狀13-14
  • 1.2.2 選題依據(jù)14-15
  • 1.3 本文的組織結(jié)構(gòu)15-17
  • 第二章 面向隱私保護(hù)的Web服務(wù)組合方法17-25
  • 2.1 Web隱私保護(hù)17-20
  • 2.1.1 Web服務(wù)隱私17-18
  • 2.1.2 Web服務(wù)組合中的隱私保護(hù)18-20
  • 2.2 Web服務(wù)組合方法20-22
  • 2.2.1 Web服務(wù)組合概述20-21
  • 2.2.2 主流的Web服務(wù)組合方法21-22
  • 2.3 面向隱私保護(hù)的Web服務(wù)發(fā)現(xiàn)框架22-24
  • 2.4 本章小結(jié)24-25
  • 第三章 隱私需求描述及規(guī)約25-39
  • 3.1 隱私需求中數(shù)據(jù)依賴關(guān)系分析25-27
  • 3.2 隱私需求中數(shù)據(jù)依賴關(guān)系對(duì)Web服務(wù)行為的約束分析27-31
  • 3.2.1 成員服務(wù)內(nèi)部27-28
  • 3.2.2 成員服務(wù)之間28-29
  • 3.2.3 應(yīng)用實(shí)例29-31
  • 3.3 隱私需求的線性時(shí)序邏輯規(guī)約31-38
  • 3.3.1 線性時(shí)序邏輯31-35
  • 3.3.2 隱私需求的規(guī)約描述35-38
  • 3.4 本章小結(jié)38-39
  • 第四章 Web服務(wù)組合的隱私屬性建模39-52
  • 4.1 隱私活動(dòng)圖39-41
  • 4.1.1 UML活動(dòng)圖39-40
  • 4.1.2 隱私屬性擴(kuò)展的活動(dòng)圖40-41
  • 4.2 Web服務(wù)組合的隱私活動(dòng)圖建模41-47
  • 4.2.1 隱私屬性的獲取41-42
  • 4.2.2 面向Web服務(wù)組合的隱私活動(dòng)圖建模42-47
  • 4.3 隱私活動(dòng)圖到Promela模型的轉(zhuǎn)換47-50
  • 4.3.1 活動(dòng)狀態(tài)的轉(zhuǎn)換規(guī)則47-48
  • 4.3.2 分支與合并的轉(zhuǎn)換規(guī)則48-49
  • 4.3.3 分叉與匯合的轉(zhuǎn)換規(guī)則49-50
  • 4.3.4 重組Promela模型50
  • 4.4 本章小結(jié)50-52
  • 第五章 面向隱私保護(hù)的Web服務(wù)組合原型工具的設(shè)計(jì)與實(shí)現(xiàn)52-64
  • 5.1 面向隱私保護(hù)的Web服務(wù)組合原型工具的設(shè)計(jì)52-54
  • 5.1.1 系統(tǒng)框架52-53
  • 5.1.2 系統(tǒng)執(zhí)行流程53-54
  • 5.2 工具實(shí)現(xiàn)54-59
  • 5.2.1 基于隱私活動(dòng)圖的Web服務(wù)組合建模54-57
  • 5.2.2 基于LTL的SPIN模型檢測(cè)57-59
  • 5.3 實(shí)例分析59-62
  • 5.3.1 Web服務(wù)組合隱私屬性建模59-61
  • 5.3.2 隱私需求的規(guī)約及Web服務(wù)組合路徑的發(fā)現(xiàn)61-62
  • 5.4 本章小結(jié)62-64
  • 第六章 總結(jié)與展望64-66
  • 6.1 本文的主要工作和貢獻(xiàn)64-65
  • 6.2 未來的研究方向65-66
  • 參考文獻(xiàn)66-70
  • 致謝70-71
  • 在學(xué)期間的研究成果及發(fā)表的學(xué)術(shù)論文71

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 林海萍;;個(gè)人隱私數(shù)據(jù)訪問的許可證機(jī)制[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2005年12期

2 蔣潔;;云環(huán)境中隱私數(shù)據(jù)侵權(quán)風(fēng)險(xiǎn)與控制策略[J];情報(bào)科學(xué);2012年10期

3 王雅婷;;計(jì)算機(jī)隱私數(shù)據(jù)的安全與防護(hù)[J];知識(shí)經(jīng)濟(jì);2013年16期

4 林海萍;;個(gè)人隱私數(shù)據(jù)訪問的許可證機(jī)制[J];計(jì)算機(jī)安全;2006年02期

5 木頭人;;畢業(yè) 離職徹底刪除隱私數(shù)據(jù)三大法[J];電腦迷;2008年06期

6 侯翔;;隱私數(shù)據(jù)的用戶自我保護(hù)策略綜述[J];四川文理學(xué)院學(xué)報(bào);2010年05期

7 肖治庭;任毅;;面向數(shù)據(jù)庫(kù)應(yīng)用的隱私數(shù)據(jù)模型研究[J];計(jì)算機(jī)與數(shù)字工程;2013年08期

8 魯芳;仲偉俊;張玉林;翁莉;;信息組織的隱私數(shù)據(jù)保護(hù)分析[J];統(tǒng)計(jì)與決策;2008年05期

9 張宏壯;劉明生;王建民;;一種高效保持隱私數(shù)據(jù)挖掘協(xié)議的實(shí)現(xiàn)[J];河北省科學(xué)院學(xué)報(bào);2007年01期

10 吳方;;基于關(guān)聯(lián)規(guī)則挖掘的隱私數(shù)據(jù)保護(hù)[J];科技資訊;2008年32期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前2條

1 任毅;彭智勇;程玉容;;基于對(duì)象代理的隱私數(shù)據(jù)模型研究[A];第二十三屆中國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集(研究報(bào)告篇)[C];2006年

2 劉逸敏;王智慧;周皓峰;汪衛(wèi);;基于PURPOSE的隱私數(shù)據(jù)訪問控制模型[A];第26屆中國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集(A輯)[C];2009年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前2條

1 趙玉明;個(gè)人隱私數(shù)據(jù)泄露的風(fēng)險(xiǎn)與對(duì)策[N];中國(guó)保險(xiǎn)報(bào);2013年

2 張小西;BI工具與隱私數(shù)據(jù)[N];網(wǎng)絡(luò)世界;2006年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 劉逸敏;基于訪問目的的隱私數(shù)據(jù)訪問控制機(jī)制研究[D];復(fù)旦大學(xué);2012年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前8條

1 白儀;面向物聯(lián)網(wǎng)的隱私數(shù)據(jù)安全問題研究[D];天津理工大學(xué);2015年

2 袁武;分布式環(huán)境中保護(hù)隱私數(shù)據(jù)挖掘方法的研究[D];南京郵電大學(xué);2015年

3 劉博;滿足用戶隱私需求的Web服務(wù)組合方法研究[D];南京航空航天大學(xué);2015年

4 周長(zhǎng)利;物聯(lián)網(wǎng)隱私數(shù)據(jù)保護(hù)策略研究[D];哈爾濱工程大學(xué);2012年

5 龔立飛;基于推理的電子商務(wù)隱私數(shù)據(jù)保護(hù)技術(shù)研究[D];湖南大學(xué);2012年

6 曹景軍;基于iOS的隱私數(shù)據(jù)保護(hù)客戶端的設(shè)計(jì)與實(shí)現(xiàn)[D];北京郵電大學(xué);2015年

7 曾劍凱;Android智能手機(jī)隱私數(shù)據(jù)保護(hù)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];廈門大學(xué);2013年

8 戴威;基于細(xì)粒度著色權(quán)限機(jī)制的Android隱私數(shù)據(jù)保護(hù)模型的設(shè)計(jì)與實(shí)現(xiàn)[D];南京大學(xué);2012年


  本文關(guān)鍵詞:滿足用戶隱私需求的Web服務(wù)組合方法研究,,由筆耕文化傳播整理發(fā)布。



本文編號(hào):426845


本文鏈接:http://www.sikaile.net/shoufeilunwen/xixikjs/426845.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶d5cb9***提供,本站僅收錄摘要或目錄,作者需要?jiǎng)h除請(qǐng)E-mail郵箱bigeng88@qq.com