An Interaction Behavior Verification Model Based on AOP Technology

摘要

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.