Anti-attack Model of Application in Storing State

The safety of application is one of the most important research problems in the field of information security. The paper firstly analyses the nature of application attack, and points out the vulnerabilities of application. Then the paper proposes an anti-attack model of application in storing state based on mandatory access control idea, and the model has good security properties that it can protect application from attacking in real-time. The paper presents a formal definition of the model and proves its security properties. Finally, an implementation solution of the model is given on Windows XP platform.