滿足用戶隱私需求的Web服務(wù)組合方法研究
本文關(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