论文部分内容阅读
针对手工开发保护轮廓存在的不足,提出一种新的安全要求导出模型,与原有模型相比,该模型的各模块间有着严格的因果关系,有利于安全要求的自动化产生。然后,据此导出模型设计了一种保护轮廓开发系统。该开发系统由数据库和定义模块组成,并基于保护轮廓模板开发新的保护轮廓,开发效率高,对开发人员的要求低,同时开发出的安全要求满足完备性和一致性原则。