安全保障新技术——防危核

摘要：

软件的大量应用使大型分布式控制系统面临严峻的安全考验,迫切需要新的防危技术.防危核(safety kernel)就是应运而生的一种防危新技术.本文从起源、原理、实现方案和优势等重要方面深入地分析了防危核,并在此基础上探讨把防危核现有实现方案直接移用于大型分布式控制系统存在的困难以及要解决这些困难还需进行的研究.

关键词： 防危核 安全关键系统 设计型故障 分布式控制系统 软件故障

作者: 黎忠文 桑楠 熊光泽

作者单位: 电子科技大学计算机学院

会议类型: 国内会议

会议名称: 第十一届全国抗恶劣环境计算机学术年会

会议地点: 吉林通化

会议语种:中文

页码: 64-70

在线出版日期: 2001-08-01（万方平台首次上网日期，不代表论文的发表时间）