An Interaction Behavior Verification Model Based on AOP Technology
Wang Xiaoxi, Dan Wang · 2012
In order to measure the trust for software behavior in trusted computing, a software behavior analysis and verification model based on Aspect Oriented Programming (AOP) is proposed. The model about software behavior description, software behavior monitoring, software behavior analysis and verification are designed and descried. The model is deployed on a system for test. The test resultheindicates the model's feasibility and validity.