支持时间属性的隐私需求建模与验证

《支持时间属性的隐私需求建模与验证》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、中图分类号：TP311论文编号：102871617-S071学科分类号：083500硕士学位论文支持时间属性的隐私需求建模与验证研究生姓名马薇薇学科、专业软件工程研究方向隐私保护指导教师黄志球教授南京航空航天大学研究生院计算机科学与技术学院二О一七年三月NanjingUniversityofAeronauticsandAstronauticsTheGraduateSchoolCollegeofComputerScienceandTechnologyResearchonTime-RelatedModelingandVerificationofPrivacyRequirement

2、AThesisinSoftwareEngineerbyMaWeiweiAdvisedbyProf.HuangZhiqiuSubmittedinPartialFulfillmentoftheRequirementsfortheDegreeofMasterofEngineeringMarch,2017承诺书本人声明所呈交的博/硕士学位论文是本人在导师指导下进行的研究工作及取得的研究成果。除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得南京航空航天大学或其他教育机构的学位或证书而使用过的材料。本人授权南京航空航天大学可以将学位论文的全

3、部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。（保密的学位论文在解密后适用本承诺书）作者签名：日期：2017.3.28南京航空航天大学硕士学位论文摘要随着互联网的迅速发展，Web服务已经被应用到了社会生活的各个领域。用户在使用服务时，不可避免的会向服务提供个人隐私信息，服务提供者可能会出于商业目的而滥用这些隐私信息。对个人隐私信息的保护工作已成为现在研究的一个热点。隐私需求的描述与建模工作是隐私保护工作中十分重要的一部分，隐私需求的描述语言应该在可读性与语义的精确性之间寻找一个平衡，因而，需要引入一种折中的隐私需求的描述方法，在采用

4、自然语言来描述的隐私策略以及隐私规约之间建立桥梁。同时，定量分析是行为分析完整性中的重要部分，特别是在隐私保护相关领域，时间相关属性是十分重要的。针对上述问题，本文提出了一种支持时间属性的声明式的隐私需求描述语言，并对隐私策略的一致性进行验证。本文的主要研究工作如下：（1）提出支持时间约束的隐私需求描述与建模方法。提出支持时间约束的隐私活动元模型，给出相应的形式化语义；并且，在隐私活动元模型的基础上提出支持时间约束的隐私需求声明式描述语言TRDPPL，通过定义可扩展的声明式约束模板，本语言提供了时间约束的表达能力。（2）给出隐私需求时间属性一致性验证方法。将支持时间属性的隐私

5、需求描述语言转换到SCIFF框架，并且给出基于SCIFF框架对隐私需求的一致性进行验证的方法。（3）设计并实现了隐私需求时间属性一致性验证原型工具。利用该工具对隐私策略采用支持时间约束的隐私需求声明式描述语言TRDPPL进行描述，并将之转换到SCIFF框架，采用SCIFF验证工具对隐私策略进行一致性验证。最后通过一个实例说明本文方法的可行性以及有效性。关键词：隐私需求，隐私保护，时间属性，隐私建模，元模型，一致性检验I支持时间属性的隐私需求建模与验证AbstractWiththerapiddevelopmentofinternet,webservicehasbeenusedt

6、oeachfieldofsocietyactivities.Whenusingservices,userwillhavetoprovideindividualprivacydatatotheserviceinevitably,andtheserviceprovidermayabusetheseprivacydataoutofcommercialpurpose.So,protectionofprivacyhasbecomearesearchinghotspot.Descriptionandmodelingworkingofprivacyrequirementsisafundam

7、entalpartofprivacyprotectionworking,abalanceshouldbefoundfordescriptivelanguageofprivacydemandbetweenreadabilityandsemanticprecision,therefore,aneclecticdescriptionmethodforprivacydemandshouldbeintroduced,toestablishabridgebetweenprivacypolicydescribingw