Research On Time-Related Modeling And Verification Of Privacy Requirement

With the rapid development of internet,web service has been used to each field of society activities.When using services,user will have to provide individual privacy data to the service inevitably,and the service provider may abuse these privacy data out of commercial purpose.So,protection of privacy has become a researching hotspot.Description and modeling working of privacy requirements is a fundamental part of privacy protection working,a balance should be found for descriptive language of privacy demand between readability and semantic precision,therefore,an eclectic description method for privacy demand should be introduced,to establish a bridge between privacy policy describing with natural language and privacy policy.Meanwhile,quantitative analysis is an important in integrity of behavior analysis,especially in relevant field of privacy protection,time-related attribution is also very important.Focus on above mentioned issues,a declarative description language for privacy requirements supporting time attribution is raised in this thesis,and consistency of privacy policy is verified.Main research works of this paper are as follows:(1)Put forward description and modeling method for privacy requirement supporting time constrain.Raise Meta model for privacy activity supporting time constrain and give relevant formalized semantics.Moreover,a declarative description language for privacy demand supporting time constrain is raised on the basic of Meta model of privacy activity,such language provides expression ability of time constrain by defining extensible declarative constraint template.(2)Provide consistency verifying method for time attribution of privacy requirement.Declarative language for privacy requirement that supporting time attribution is transformed to SCIFF framework and verifying method for consistency of privacy requirement is provided on the base of SCIFF framework.(3)A prototype tool for verifying of consistency of time attribution for privacy requirement is designed and achieved.By making use of such tool to describe declarative descriptive language TRDPPL for privacy requirement supporting time constrain that adopted by privacy policy,and transform it to SCIFF framework,finally,consistency of privacy policy is re-verified by using SCIFF verifying tool,the efficiency of the method in this thesis are demonstrated through a case study.