Method and system for verifying social network security runtime based on source code instrumentation

Abstract

The invention belongs to the technical field of computer application, and discloses a verification method and system during the safe running of a social network on the basis of source code instrumentation. An open source social network is used for carrying out code instrumentation to capture an event, and a PPTL3 (Three-Valued Propositional Projection Temporal Logic) is used for describing properties and generating a corresponding property monitoring module; then, the event and the property monitoring module are input into a runtime monitor; and the runtime monitor automatically monitors whether the running of the open source social network conforms to a given property or not and gives monitoring information if the social network does not meet the property, so that the explosion problem ofmodel detection state space is avoided, complex theorem proving is not required, and instantaneity is good. By use of the method and the system, the code instrumentation is carried out on a premise that the normal running of the social network is not affected, so that the event which is paid attention is captured in real time, and the problems of the state explosion and no instantaneity of a traditional model detection method are solved.

Description

technical field [0001] The invention belongs to the technical field of computer applications, and in particular relates to a method and system for verifying social network security runtime based on source code instrumentation. Background technique [0002] In recent years, with the rapid development of the Internet, social networks (Social Network, SN) have entered the lives of most people. SN is an Internet application service designed to help people build a social network, consisting of different people or groups. As a virtual social media, SN provides a way to quickly communicate and share information, which brings great convenience to life and work. Typical SNs in China include Baidu Tieba, Kaixin.com, Renren, Sina Weibo, WeChat, etc., while overseas include Facebook, YouTube, Twitter, Tumblr, LinkedIn, etc. These SN user groups all have profile pages, and also share a large amount of information in SN, including text, pictures, videos, etc. Take Sina Weibo as an examp...

AI Technical Summary

Problems solved by technology

[0003] To sum up, the problems existing in the existing technology are: adopting the traditional model detection to verify and analyze the open source social network, because the open source social network system has many functions and a large amount of code, there must be a problem of state space explosion, and it does not have real-time sex

Images