A MSVL-based social network system modeling and privacy policy property verification method

Abstract

The invention discloses a social network system modeling and privacy strategy property verification method based on MSVL. The method comprises the steps that the framework projection time sequence logic programming language MSLV is used for modeling a social network system, meanwhile, proposition projection time sequence logic PPTL is used for describing the privacy strategy property of the social network system, verification is carried out through an MSV interpreter, and whether the privacy strategy property of the social network is correct or not is obtained. According to the social network system modeling and privacy strategy property verification method, the MSVL program is adopted for system modeling, the privacy strategy property is described through the PPTL, the MSVL is an executable subset of the PTL, the PPTL is a proposition subset of the PTL, and the MSVL and the PPTL belong to the PTL framework structure and can be executed in the MSV interpreter in a unified mode. Compared with other methods, additional tools do not need to be called, additional logic languages do not need to be defined either, the method is simple and convenient to implement, and the MSV interpreter can give an accurate result schematic diagram.

Description

Technical field [0001] The invention relates to the technical field of system formal modeling and verification, in particular to a formal method for modeling and verifying the nature of a privacy policy of a social network system. Background technique [0002] With the vigorous development and maturity of Web technology, the living environment of social networks has been improving day by day, and the interaction platform between users has become increasingly broad. Among them, relational social networks, as the main body of social media, have developed particularly rapidly. Relational social networks such as Facebook, Twitter, Renren.com, Sina Weibo, and Friend Network are flooding people’s lives, bringing great convenience to people. People can obtain and transmit information more conveniently and quickly, but at the same time, various user information is also leaked inadvertently during use, and even some unscrupulous merchants obtain user information through illegal means to m...

AI Technical Summary

Problems solved by technology

There are several reasons for privacy leakage caused by the privacy policy mechanism of social networking sites: (1) sharing of user privacy data between websites; (2) selling of user privacy information by social networking sites; privacy breach

Images