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

1 一个基于COP 的控制软件安全性增强方法 1,2 1,2 1,2 陈智勇 徐锋 余萍 1(南京大学软件新技术国家重点实验室, 南京市 210046) 2(南京大学计算机科学与技术系 南京市 210046) 摘 要 控制软件往往是安全攸关系统的核心，其正确性对系统安全起着至关重要的作用。然而由于系统面对的环境因素 越来越复杂，软件设计之初不可能考虑到所有可能面对的环境变化因素，系统的安全性面临新的挑战。因此在软件维护阶段， 以环境变化为中心，增量式地增强软件的安全性显得非常重要。面向上下文编程方法(Context-oriented Programming, COP)正 是一种以软件运行上下文环境为中心的编程方法。现有的支撑COP 思想的运行机制可以使得系统根据精确的上下文信息动 态的调整系统的行为，但是有些上下文引发的系统行为调整会导致系统执行器的现有运行被打断，对于这类影响系统执