软件安全核的可信性问题

摘要：

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

关键词：安全核、可信性、安全策略、安全关键系统、形式化原理、交通灯

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：福建省青年科技人才创新基金2003J020;福建省自然科学基金A0410004;云南省自然科学基金2003F0016M;云南省信息技术专项基金2004IT10;厦门大学校科研和教改项目

在线出版日期：2006-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：170-174