软件安全核的可信性问题

计算机科学 ›› 2006, Vol. 33 ›› Issue (1): 170-174.

软件安全核的可信性问题

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
福建省2003年青年科技人才创新基金（2003J020）、福建省2004年自然科学基金（A0410004）、云南省2003年自然科学基金（2003F0016M）、云南省信息技术专项（2004IT10）、厦门大学院士引进基金.

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 软件的大量应用，使控制系统面，临严峻的安全考验，陷入了安全危机中，迫切需要新的安全保障技术。安全核就是应运而生的一种安全保障新概念，其可信性直接关系到安全核的有效性和系统的安危。面对安全核可信性问题，测试和限制安全核尺寸是当前采用的方法，它们极大地制约了安全核技术在复杂系统中的应用。本文分析了安全核可信性的本质；结合安全关键系统的基本构架，提出了从安全需求分析开始到安全核生成过程中，如何通过形式化的方法采提高安全核可信性的方法，为安全核技术在复杂系统中的应用提供了一种新思路；以交通灯控制为例全过程地实现和

关键词: 安全核可信性安全策略安全关键系统形式化原理交通灯软件安全保障技术控制系统复杂系统

Abstract: Since software is being used in the control system largely,the possibility of serious damage resulting from a software defect is considerable and growing, and then the control systems are plunging into safety crisis. In fact, control systems are in urgent

Key words: Safety kernel, Dependability, Safety policy, Safety critical systems, Formal method, Traffic light

. 软件安全核的可信性问题[J]. 计算机科学, 2006, 33(1): 170-174. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed