基于CPN的服務(wù)組合流程中隱私數(shù)據(jù)分析研究.pdf

1、隨著因特網(wǎng)及數(shù)據(jù)挖掘技術(shù)的快速發(fā)展，因特網(wǎng)軟件的使用者對(duì)個(gè)人隱私數(shù)據(jù)的安全給予了越來(lái)越多的關(guān)注。通過(guò)WEB服務(wù)或服務(wù)組合建立起來(lái)的軟件不但要重視功能需求，還應(yīng)該重視隱私數(shù)據(jù)的安全等非功能需求。BPEL是WEB服務(wù)組合廣泛使用的業(yè)務(wù)流程執(zhí)行語(yǔ)言，BPEL中的WEB服務(wù)通過(guò)交換消息來(lái)實(shí)現(xiàn)服務(wù)間的協(xié)作。本文對(duì)BPEL流程中隱私數(shù)據(jù)的使用和傳播是否符合隱私規(guī)約進(jìn)行了分析和驗(yàn)證，主要工作如下:
　　第一，為BPEL建立了CPN模型，并描述了

2、建模方法。該建模方法考慮了流程的行為和數(shù)據(jù)兩個(gè)方面，在描述控制流的同時(shí)也描述了數(shù)據(jù)流，分別通過(guò)解析BPEL文檔和解析WSDL文檔實(shí)現(xiàn)。
　　第二，使用擴(kuò)展P3P策略來(lái)描述用戶的隱私需求，擴(kuò)展后的隱私策略將隱私數(shù)據(jù)的使用目的用服務(wù)組合內(nèi)的操作以及訪問(wèn)權(quán)限來(lái)描述。
　　第三，設(shè)計(jì)了驗(yàn)證算法，該算法能夠從隱私策略的XML文檔和服務(wù)組合流程CPN模型的XML文檔分別提取隱私規(guī)約和流程中的可達(dá)路徑、路徑上的操作、操作的隱私輸入數(shù)據(jù)、操