基于自動(dòng)機(jī)的WS-BPEL流程中數(shù)據(jù)的隱私分析與驗(yàn)證.pdf

1、隨著網(wǎng)絡(luò)及數(shù)據(jù)挖掘技術(shù)的迅猛發(fā)展,網(wǎng)絡(luò)軟件的使用客戶越來越關(guān)注個(gè)人數(shù)據(jù)的隱私安全。通過服務(wù)及其組合建立的網(wǎng)絡(luò)軟件在提供功能的同時(shí),還應(yīng)該重視內(nèi)部數(shù)據(jù)的隱私安全等非功能需求。WS-BPEL是Web服務(wù)組合廣泛使用的標(biāo)準(zhǔn),參與到BPEL流程的Web服務(wù)通過消息交換來實(shí)現(xiàn)服務(wù)之間的協(xié)作。本文對(duì)WS-BPEL流程信息交換中數(shù)據(jù)的隱私需求進(jìn)行分析,研究了保證BPEL流程數(shù)據(jù)隱私安全的方法。
　　 本文首先分析了WS-BPEL中數(shù)據(jù)的隱私安

2、全問題,針對(duì)當(dāng)前WS-BPEL流程缺乏對(duì)數(shù)據(jù)的隱私保護(hù)這一問題,采用P3P隱私策略對(duì)BPEL中數(shù)據(jù)的處理方式進(jìn)行規(guī)范,建立起隱私感知的WS-BPEL流程。
　　 其后,對(duì)建立的隱私感知的WS-BPEL流程進(jìn)行分析,為確保WS-BPEL的執(zhí)行沒有違背隱私策略,本文對(duì)實(shí)施隱私策略規(guī)范的WS-BPEL流程進(jìn)行形式化分析驗(yàn)證。首先通過擴(kuò)展自動(dòng)機(jī)的隱私語義,建立起隱私感知WS-BPEL流程的自動(dòng)機(jī)模型,然后對(duì)模型進(jìn)行隱私可滿足性驗(yàn)證分析,