软件安全核的可信性问题

• 作者: 姚绍文 黎忠文
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 安全核 可信性 安全策略 安全关键系统 形式化原理 交通灯
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 软件工程
• 页码范围: 170-174
• 页数: 5页
• 分类号: TP3
• 字数: 6539字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2006.01.047

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚绍文	云南大学软件学院	44	299	10.0	15.0
2	黎忠文	厦门大学计算机与信息工程学院	27	120	7.0	10.0