某信号指示嵌入式软件的安全性分析

• 作者: 周红建 王洪坡
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 有限状态机 马尔可夫链 嵌入式软件 安全性
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 软件工程
• 页码范围: 102-107
• 分类号: TP311.5
• 字数: 5363字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2012.04.020

摘要

讨论了某信号指示预处理嵌入式软件的安全性问题.以有限状态机和马尔可夫链为理论基础,建立了该类软件的安全性模型.以灰熵定义为基础,定义了系统安全度的概念,量化系统安全性,给出了一种量化分析方法.预测了软件的安全性.最后借助数值仿真工具,讨论了估计参数对系统安全性的影响,得到了量化指标,根据仿真曲线给出了提高安全性的方法.