-
题名软件安全核的可信性问题
- 1
-
-
作者
黎忠文
姚绍文
-
机构
厦门大学计算机与信息工程学院
云南大学软件学院
-
出处
《计算机科学》
CSCD
北大核心
2006年第1期170-174,共5页
-
基金
基金项目:福建省2003年青年科技人才创新基金(2003J020)
福建省2004年自然科学基金(A0410004)
+2 种基金
云南省2003年自然科学基金(2003F0016M)
云南省信息技术专项(20041T10)
厦门大学院士引进基金。
-
文摘
软件的大量应用,使控制系统面临严峻的安全考验,陷入了安全危机中,迫切需要新的安全保障技术。安全核就是应运而生的一种安全保障新概念,其可信性直接关系到安全核的有效性和系统的安危。面对安全核可信性问题,测试和限制安全核尺寸是当前采用的方法,它们极大地制约了安全核技术在复杂系统中的应用。本文分析了安全核可信性的本质;结合安全关键系统的基本构架,提出了从安全需求分析开始到安全核生成过程中,如何通过形式化的方法来提高安全核可信性的方法,为安全核技术在复杂系统中的应用提供了一种新思路;以交通灯控制为例全过程地实现和验证了所提出思想的正确性和可行性。
-
关键词
安全核
可信性
安全策略
安全关键系统
形式化原理
交通灯
软件
安全保障技术
控制系统
复杂系统
-
Keywords
Safety kernel, Dependability, Safety policy, Safety critical systems, Formal method, Traffic light
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
TP302.8
[自动化与计算机技术—计算机系统结构]
-
