Title :
An Interaction Behavior Verification Model Based on AOP Technology
Author :
Xiaoxi, Wang ; Dan, Wang
Author_Institution :
Coll. of Comput. Sci. & Technol., Beijing Univ. of Technol., Beijing, China
Abstract :
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.
Keywords :
aspect-oriented programming; trusted computing; , software behavior monitoring; AOP technology; aspect oriented programming; interaction behavior verification model; software behavior analysis; software behavior description; trusted computing; Analytical models; Databases; Graphical user interfaces; Monitoring; Software; Weaving; XML; Aspect Oriented Programming (AOP); AspectJ; behavior analysis; trust; weave;
Conference_Titel :
Computer Science & Service System (CSSS), 2012 International Conference on
Conference_Location :
Nanjing
Print_ISBN :
978-1-4673-0721-5
DOI :
10.1109/CSSS.2012.115