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

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

【摘要】：隨著面向服務架構SOA(Service-oriented Architecture)的發(fā)展,Web服務組合已經(jīng)應用到日常生活的各個領域。用戶在使用Web服務組合時,需要提供一些個人隱私信息以完成必要的業(yè)務功能。所以,在滿足業(yè)務需求的前提下,找到一條滿足用戶隱私需求的Web服務組合路徑已經(jīng)成為當前服務計算領域的研究熱點�，F(xiàn)有的Web服務組合方法更多的是關注如何去滿足用戶的業(yè)務需求,就算是對隱私需求有所關注,也僅僅解決了相對簡單的用戶隱私需求。Web服務環(huán)境的動態(tài)、異構和自治的特征,使得隱私保護必須考慮服務間的行為交互,必須對用戶隱私數(shù)據(jù)以及它們之間的依賴關系加以限制。同時,Web服務環(huán)境的特征還使得大部分的隱私數(shù)據(jù)依賴關系呈現(xiàn)出時序特征�？紤]到在計算機領域模型檢測技術能夠對待驗證系統(tǒng)中時序相關特性進行精確地檢測,本文提出一種利用模型檢測工具來找到一條滿足用戶隱私需求的Web服務組合路徑的方法。本文的主要研究工作如下:(1)由于大部分隱私數(shù)據(jù)依賴關系都可以表達成時序屬性約束,因此采用線性時序邏輯規(guī)約隱私需求中的隱私數(shù)據(jù)間的依賴關系。在此之前,首先對隱私需求中的隱私數(shù)據(jù)依賴關系進行分類分析,并分析這些數(shù)據(jù)依賴關系與Web服務行為約束之間的對應關系,提出一種用線性時序邏輯規(guī)約隱私需求中隱私數(shù)據(jù)依賴的方法,并從隱私需求的隱私數(shù)據(jù)關系中提取出驗證性質。(2)考慮到模型檢測工具的輸入要求,在完成對隱私需求的LTL規(guī)約描述后,需要完成Web服務組合的形式化建模工作。因此,對UML活動圖進行隱私屬性擴展,得到隱私活動圖,利用該模型對Web服務組合的隱私行為進行建模,并給出BPEL流程活動到隱私活動圖的轉換方法;然后提出轉換規(guī)則將該模型轉換成模型檢驗工具SPIN能夠接收的Promela描述。(3)基于本文的研究方法,設計并實現(xiàn)了滿足用戶隱私需求的Web服務組合原型工具,利用該工具對WS-BPEL流程進行隱私行為建模并借助SPIN完成隱私需求數(shù)據(jù)依賴關系的檢測,并通過對結果的分析,返回給用戶一條滿足隱私需求的Web服務組合路徑;最后通過一個實例說明本文方法的可行性和有效性。
【關鍵詞】：Web服務組合 隱私需求 隱私保護 時序屬性 UML活動圖 模型檢驗
【學位授予單位】：南京航空航天大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：TP393.09;TP309
【目錄】：

• 摘要4-5
• ABSTRACT5-11
• 注釋表11-12
• 第一章 緒論12-17
• 1.1 課題研究背景12-13
• 1.2 國內外研究現(xiàn)狀及選題依據(jù)13-15
• 1.2.1 國內外研究現(xiàn)狀13-14
• 1.2.2 選題依據(jù)14-15
• 1.3 本文的組織結構15-17
• 第二章 面向隱私保護的Web服務組合方法17-25
• 2.1 Web隱私保護17-20
• 2.1.1 Web服務隱私17-18
• 2.1.2 Web服務組合中的隱私保護18-20
• 2.2 Web服務組合方法20-22
• 2.2.1 Web服務組合概述20-21
• 2.2.2 主流的Web服務組合方法21-22
• 2.3 面向隱私保護的Web服務發(fā)現(xiàn)框架22-24
• 2.4 本章小結24-25
• 第三章 隱私需求描述及規(guī)約25-39
• 3.1 隱私需求中數(shù)據(jù)依賴關系分析25-27
• 3.2 隱私需求中數(shù)據(jù)依賴關系對Web服務行為的約束分析27-31
• 3.2.1 成員服務內部27-28
• 3.2.2 成員服務之間28-29
• 3.2.3 應用實例29-31
• 3.3 隱私需求的線性時序邏輯規(guī)約31-38
• 3.3.1 線性時序邏輯31-35
• 3.3.2 隱私需求的規(guī)約描述35-38
• 3.4 本章小結38-39
• 第四章 Web服務組合的隱私屬性建模39-52
• 4.1 隱私活動圖39-41
• 4.1.1 UML活動圖39-40
• 4.1.2 隱私屬性擴展的活動圖40-41
• 4.2 Web服務組合的隱私活動圖建模41-47
• 4.2.1 隱私屬性的獲取41-42
• 4.2.2 面向Web服務組合的隱私活動圖建模42-47
• 4.3 隱私活動圖到Promela模型的轉換47-50
• 4.3.1 活動狀態(tài)的轉換規(guī)則47-48
• 4.3.2 分支與合并的轉換規(guī)則48-49
• 4.3.3 分叉與匯合的轉換規(guī)則49-50
• 4.3.4 重組Promela模型50
• 4.4 本章小結50-52
• 第五章 面向隱私保護的Web服務組合原型工具的設計與實現(xiàn)52-64
• 5.1 面向隱私保護的Web服務組合原型工具的設計52-54
• 5.1.1 系統(tǒng)框架52-53
• 5.1.2 系統(tǒng)執(zhí)行流程53-54
• 5.2 工具實現(xiàn)54-59
• 5.2.1 基于隱私活動圖的Web服務組合建模54-57
• 5.2.2 基于LTL的SPIN模型檢測57-59
• 5.3 實例分析59-62
• 5.3.1 Web服務組合隱私屬性建模59-61
• 5.3.2 隱私需求的規(guī)約及Web服務組合路徑的發(fā)現(xiàn)61-62
• 5.4 本章小結62-64
• 第六章 總結與展望64-66
• 6.1 本文的主要工作和貢獻64-65
• 6.2 未來的研究方向65-66
• 參考文獻66-70
• 致謝70-71
• 在學期間的研究成果及發(fā)表的學術論文71

【相似文獻】

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

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

2 蔣潔;;云環(huán)境中隱私數(shù)據(jù)侵權風險與控制策略[J];情報科學;2012年10期

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

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

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

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

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

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

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

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

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

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

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

中國重要報紙全文數(shù)據(jù)庫 前2條

1 趙玉明;個人隱私數(shù)據(jù)泄露的風險與對策[N];中國保險報;2013年

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號：426845