An interaction behavior verification model based on aop technology - 文章详情页

作者：

Wang, Xiaoxi (Wang, Xiaoxi.) | Wang, Dan (Wang, Dan.)

收录：

EI Scopus

摘要：

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.　©　2012　IEEE.

关键词：

Weaving Aspect oriented programming Verification Computer software

作者机构：

[ 1 ] [Wang, Xiaoxi]Beijing University of Technology, College of Computer Science and Technology, Beijing, China
[ 2 ] [Wang, Dan]Beijing University of Technology, College of Computer Science and Technology, Beijing, China

通讯作者信息：

电子邮件地址：

wangxiaoxi@emails.bjut.edu.cn

查看成果更多字段

成果类型
所属机构

所有年份指定年份从至