基于自动机的ws-bpel流程中数据的隐私分析与验证

《基于自动机的ws-bpel流程中数据的隐私分析与验证》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、中图分类号：TP311学科分类号：081203论文编号：102870410-0117硕士学位论文基于自动机的WS．BPEL流程中数据的隐私分析与验证研究生姓名学科、专业研究方向指导教师徐万江计算机应用技术服务计算黄志球教授南京航空航天大学研究生院信息科学与技术学院二OO九年十二月}氏}I『’}II!llIuIII。II‘I‘＼■INanjingUniversityofAeronauticsandAstronauticsTheGraduateSclloolCollegeofInformationScienceandTechnology

2、删

3、lffI『f

4、lI⋯JjfII㈣ffI

5、I㈣¨Ⅲ舢Y182581Ii《iiAnalyzingandVerifyingthePrivacyofDatainWS．BPELProcessBasedonAutomataAThesisinComputerScienceandTechnologyEngineeringByXuWan-jiangAdvisedbyProf．HuangZhi—qiuSubmittedinPartialFulfillmentoftheRequirementsfortheDegreeofMasterofEnginee

6、ringDecember,2009t’、．r。●●—■+'承诺书本人声明所呈交的硕士学位论文是本人在导师指导下进行的研究工作及取得的研究成果。除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得南京航空航天大学或其他教育机构的学位或证书而使用过的材料。本人授权南京航空航天大学可以将学位论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。(保密的学位论文在解密后适用本承诺书)作者签名：筮互z五El期：竺!!：；：!!r．．，南京航空航天人学硕士学

7、位论文摘要随着网络及数据挖掘技术的迅猛发展，网络软件的使用客户越来越关注个人数据的隐私安全。通过服务及其组合建立的网络软件在提供功能的同时，还应该重视内部数据的隐私安全等非功能需求。WS—BPEL是w曲服务组合广泛使用的标准，参与至IJBPEL流程的w．eb服务通过消息交换来实现服务之间的协作。本文对WS-BPEL流程信息交换中数据的隐私需求进行分析，研究了保证BPEL流程数据隐私安全的方法。本文首先分析了WS-BPEL中数据的隐私安全问题，针对当前WS．BPEL流程缺乏对数据的隐私保护这一问题，采用P3P隐私策略对BPEL中数据的

8、处理方式进行规范，建立起隐私感知的WS．BPEL流程。其后，对建立的隐私感知的WS．BPEI．航程进行分析，为确保WS—BPEL的执行没有违背隐私策略，本文对实施隐私策略规范的WS—BPEI．,流程进行形式化分析验证。首先通过扩展自动机的隐私语义，建立起隐私感知WS．BPEL流程的自动机模型，然后对模型进行隐私可满足性验证分析，验证WS．BPEL流程对数据的处理是否遵从给定的P3P策略，并给出验证算法：在此基础上，对指定功能行为的隐私合法性进行了分析验证。最后，结合本文对WS．BPEL流程中数据隐私属性的验证研究，设计实现了一个隐私

9、属性验证工具。通过该验证工具，流程制定者可以方便地对BPEL流程中的数据进行隐私安全性分析验证。关键词：隐私，WS．BPEL，自动机，P3P，隐私感知，验证基于自动机的WS．BPEL流程中数据的隐私分析与验证AbstractWiththedevelopmentofintemetanddataminingtechnoledge，theprivacyofpersonaldatahasgainedmoreandmoreattentionbytheuserofintemetware．Asthefunctionsofintemetwareal

10、emeetedbyWebservicesandtheircombization,thenon-functionalrequirementsuch雒privacyprotectionofdatashouldalsobeconcerned．WebServicesBusinessProcessExecutionLanguage，awidelyusedcriterioninservicecompositon,employsmessageexchangetoachievethecooperationofwebservices．Inthispa

11、per,Wefocuseontheprivacyrequirementofdatainexchangedmessages，andstudyawaytoensur．etheprivacyofdatainWS-BPELprocess．Fi