一个基于COP的控制软件安全性增强方法

• 作者: 余萍 徐锋 陈智勇
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 软件安全性 面向上下文编程(COP) 编程模型
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 64-69
• 页数: 6页
• 分类号: TP391
• 字数: 5509字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1208-0522

摘要

控制软件往往是安全攸关系统的核心,其正确性对系统安全起着至关重要的作用.然而由于系统面对的环境因素越来越复杂,软件设计之初不可能考虑到所有可能面对的环境变化因素,系统的安全性面临新的挑战.因此在软件维护阶段,以环境变化为中心,增量式地增强软件的安全性显得非常重要.面向上下文编程方法(Context-Oriented Programming,COP)正是一种以软件运行上下文环境为中心的编程方法.现有的支撑COP思想的运行机制可以使得系统根据精确的上下文信息动态地调整系统的行为,但是有些上下文引发的系统行为调整会导致系统执行器的现有运行被打断,对于这类影响系统执行器行为的上下文,现有的COP运行机制还没有提供有效处理方法.根据现有的COP方法,给出了一个基于软件上下文保存与恢复的控制软件安全性增强的编程模型,并在Lego NXT控制器上实现了相应的运行支撑和编程工具,通过一个产品分拣系统的安全性增强实例,初步验证了该编程模型的合理性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余萍	南京大学软件新技术国家重点实验室	14	309	6.0	14.0
5	徐锋	南京大学软件新技术国家重点实验室	25	1101	11.0	25.0
9	陈智勇	南京大学软件新技术国家重点实验室	9	26	3.0	5.0