DocumentCode
2716467
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
fYear
2012
fDate
11-13 Aug. 2012
Firstpage
434
Lastpage
437
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science & Service System (CSSS), 2012 International Conference on
Conference_Location
Nanjing
Print_ISBN
978-1-4673-0721-5
Type
conf
DOI
10.1109/CSSS.2012.115
Filename
6394353
Link To Document