会议专题

植入式安全性质监控技术

针对安全性质,提出一种植入式监控方法.使用OCL(Object Constraint Language)实现安全性质在模型上的描述,并将OCL约束转化为Java监控代码,从而实现监控信息由模型到代码的映射.该方法采用AOP(Aspect-OrientedProgramming)技术将监控代码植入目标系统,使软件在运行时具备安全性质的监控能力.

安全性质 植入式监控 对象约束语言 面向方面编程

彭中 毛晓光 谢彬

国防科技大学计算机学院,长沙,410073 华东计算技术研究所,上海,200233

国内会议

华东计算技术研究所建所50周年庆学术交流会

上海

中文

60-62

2008-09-18(万方平台首次上网日期,不代表论文的发表时间)