基于监控的可信软件构造模型研究与实现  

Research and implementation of trusted software constitution based on monitoring

作　　者：李仁杰[1,2] 张瞩熹[2,3] 江海燕 王怀民[2] 

机构地区：[1]海军作战应用软件管理中心 [2]国防科学技术大学计算机学院 [3]后勤科学研究所 [4]解放军63680部队后勤部

出　　处：《计算机应用研究》2009年第12期4585-4588,共4页Application Research of Computers

基　　金：国家"863"计划资助项目(2007AA01030);国家"973"计划资助项目(2005CB321804)

摘　　要：如何在开发阶段通过提高系统的可监控性从而提升软件可信性是当前的研究热点,这些研究取得了重要成果,但是还存在许多亟待解决的关键问题。针对这些问题,通过对现有研究成果的综述,在借助面向方面设计思想的基础上,设计了基于监控的可信软件构造模型TSCM,并以基于监控的可信软件开发环境TSIDE为背景分析了模型的实现要点和应用实例,最后分析了模型的主要特色。How to inject monitoring capacity into software in development phase to improve the credibility of software has become a hot issue. Although all these works have won great achievement, there are still a number of key problems to be considered. This paper introduced current state-of-the-art of the research achievement firstly. Then, based on the principles of aspect-oriented programming （AOP） technology, proposed a trusted software constitution model based on monitoring（TSCM）. Discussed some key points about how to achieve the model together with examples of applications of the trusted software integration develop environment named TSIDE. Finally, deduced that the model had great advantages.

关 键 词：可信软件 基于方面的编程 监控 模型 

分 类 号：TP339[自动化与计算机技术—计算机系统结构]