Web服務(wù)組合隱私分析與驗(yàn)證研究.pdf

1、面向服務(wù)計(jì)算SOC(Service-Oriented Computing)是一種基于Internet的分布式計(jì)算模式，代表了軟件開發(fā)的最新發(fā)展方向。SOC以Web服務(wù)作為基本組成單元，有效地解決了在分布、動態(tài)、異構(gòu)環(huán)境下的分布式應(yīng)用集成問題。Web服務(wù)組合是實(shí)現(xiàn)SOC的核心技術(shù)之一，它通過組合已有的。Web服務(wù)形成新的增值服務(wù)，用以滿足用戶的需求。用戶在享受組合服務(wù)功能的同時(shí)，需要釋放一些個(gè)人隱私信息，用以支持組合服務(wù)的執(zhí)行。由于面向服

2、務(wù)環(huán)境的開放、自治和動態(tài)的本質(zhì)，組合服務(wù)的提供者在獲得這些隱私信息后，可能會未經(jīng)授權(quán)的訪問、使用和暴露它們，從而對用戶造成了極大的隱私危害。
　　 面對這些危害，用戶越來越擔(dān)心其個(gè)人信息的隱私安全，他們一方面希望通過組合服務(wù)來完成業(yè)務(wù)功能，另一方面他們也希望所遭遇的隱私危害最小，因此如何在滿足用戶功能需求的前提下最大可能的減小隱私危害是實(shí)現(xiàn)安全Web服務(wù)組合的一個(gè)關(guān)鍵問題。當(dāng)前國內(nèi)外研究者對Web服務(wù)組合開展了廣泛而深入的研究，

3、但很少關(guān)注保護(hù)用戶的個(gè)人隱私。針對當(dāng)前研究工作的不足，本文圍繞Web服務(wù)組合中的隱私分析與驗(yàn)證問題展開研究，主要成果如下：
　　 (1)研究了Web服務(wù)組合隱私分析與驗(yàn)證框架，該框架支持用戶表達(dá)個(gè)性化的隱私策略、設(shè)置隱私數(shù)據(jù)的敏感度，并支持服務(wù)組合者在設(shè)計(jì)服務(wù)組合時(shí)，驗(yàn)證該組合是否滿足用戶的隱私策略約束，并且分析它的隱私暴露與授權(quán)問題，基于上述分析驗(yàn)證過程所組合的Web服務(wù)能減少對隱私數(shù)據(jù)的誤用和危害，為提高組合服務(wù)的安全性和可

4、靠性提供了基礎(chǔ)。
　　 (2)研究了Web服務(wù)組合隱私訪問控制問題，提出一種基于信任度的Web服務(wù)組合隱私訪問控制模型，該模型利用信任度作為服務(wù)訪問隱私權(quán)限的資格條件，給出了隱私策略執(zhí)行系統(tǒng)，分析了該系統(tǒng)的功能組件以及執(zhí)行流程，并且給出了相應(yīng)的隱私授權(quán)決策算法，為細(xì)粒度的隱私授權(quán)的實(shí)施提供了重要保障。
　　 (3)研究了Web服務(wù)組合隱私建模與驗(yàn)證問題，提出一種擴(kuò)展隱私語義的接口自動機(jī)模型，利用該模型對Web服務(wù)及其組合

5、的隱私行為進(jìn)行建模，給出了服務(wù)的BPEL流程活動到隱私接口自動機(jī)的轉(zhuǎn)換方法；在此基礎(chǔ)上將服務(wù)組合的自動機(jī)模型轉(zhuǎn)換到它的相容狀態(tài)空間可達(dá)圖，然后提出了隱私授權(quán)驗(yàn)證算法，根據(jù)該算法檢測可達(dá)圖中是否存在隱私策略違背，從而驗(yàn)證服務(wù)組合是否滿足用戶的隱私策略約束，為提高組合服務(wù)的功能正確性和隱私安全性提供了重要保障。
　　 (4)研究了Web服務(wù)組合中的隱私暴露與授權(quán)問題，提出一種Web服務(wù)組合最小隱私暴露與最優(yōu)隱私授權(quán)分析方法。首先給出

6、了隱私暴露代價(jià)的計(jì)算方法，對滿足隱私策略約束的相容狀態(tài)空間可達(dá)圖加注隱私暴露代價(jià)形成隱私代價(jià)可達(dá)圖；然后提出了最小隱私代價(jià)可達(dá)路徑算法，使用它對隱私代價(jià)可達(dá)圖中的路徑進(jìn)行暴露代價(jià)計(jì)算，從而分析服務(wù)組合中的最小隱私暴露問題；最后提出了最優(yōu)隱私策略設(shè)置算法，利用該算法在最小隱私代價(jià)可達(dá)圖的基礎(chǔ)上分析了服務(wù)組合中的最優(yōu)隱私授權(quán)。最小隱私暴露和最優(yōu)隱私授權(quán)問題的分析對減小服務(wù)組合的隱私危害具有重要的意義。
　　 (5)基于以上方法和理論