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 :
بازگشت