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

J4 ›› 2012, Vol. 34 ›› Issue (4): 102-107.

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

王洪坡，周红建

（空军装备研究院博士后流动站，北京 100076）

收稿日期:2011-11-05 修回日期:2012-02-10 出版日期:2012-04-26 发布日期:2012-04-25

Safety Analysis of a Kind of Embedded Software Working in a Signal Indicating System

WANG Hongpo，ZHOU Hongjian

（Postdoctoral Flow Station，Air Force Equipment Research Institute，Beijing 100076,China）

Received:2011-11-05 Revised:2012-02-10 Online:2012-04-26 Published:2012-04-25

摘要/Abstract

摘要：

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

关键词: 有限状态机, 马尔可夫链, 嵌入式软件, 安全性

Abstract:

The safety problem of a kind of embedded software is discussed in this paper. The safety model of this kind of software is established based on the FSM and Markov chain theories. The safety degree of the system is defined according to gray entropy. It offers a way to quantify the safety of the system. It also gives a way to get the values of the equations. Finally, numerical simulation is applied to study the influence of the parameter of the equations on system safety, and shows the way to enhance the safety of the system.

Key words: FSM;Markov chain;embedded software;safety

王洪坡，周红建. 某信号指示嵌入式软件的安全性分析[J]. J4, 2012, 34(4): 102-107.

WANG Hongpo，ZHOU Hongjian. Safety Analysis of a Kind of Embedded Software Working in a Signal Indicating System[J]. J4, 2012, 34(4): 102-107.

[1]	张耐, 张晨亮, 柳永翔, 陈聪, 黄艳婷. 基于模型混合的智能交易行为异常检测[J]. 计算机工程与科学, 2023, 45(09): 1639-1647.
[2]	顾彦波，李敬文，火金萍，席晓慧. 一种多笔画图形加数字的图形密码方案[J]. 计算机工程与科学, 2019, 41(11): 1954-1960.
[3]	于嘉维,贲可荣. ALL-Uses覆盖引导的回归测试用例生成方法[J]. 计算机工程与科学, 2017, 39(12): 2278-2289.
[4]	黄冬梅1，徐慧芳1，贺琪1，杜艳玲1，魏泉苗2. 云环境下基于秘密共享的海洋遥感影像认证方案[J]. 计算机工程与科学, 2017, 39(08): 1410-1418.
[5]	龙腾1,2，许智武3. 基于限界约束的安全相关性质的推理证明[J]. 计算机工程与科学, 2017, 39(04): 717-724.
[6]	罗炜麟，魏欧，黄鸣宇. 基于SAT求解器的故障树最小割集求解算法[J]. 计算机工程与科学, 2017, 39(04): 725-733.
[7]	徐光宪，杨冬丽，高嵩，许春燕，金钰博. 联合编码开销与安全性能的网络编码优化方案[J]. 计算机工程与科学, 2016, 38(07): 1384-1390.
[8]	刘雪1,胡军1,2, 黄志球1,马金晶1,程桢1，石娇洁1. 模型驱动的嵌入式系统设计安全性验证方法研究[J]. J4, 2015, 37(08): 1498-1509.
[9]	易通1,李学宝2，陈宏朝1. 适用于双方频繁通信的密钥交换协议[J]. J4, 2014, 36(07): 1284-1289.
[10]	钟军,吴雪阳,江一民,段光明. 一种安全协议的安全性分析及攻击研究[J]. J4, 2014, 36(06): 1077-1082.
[11]	王洪坡1,2,周红建1,王洪雷2. 基于S曲线模型的航空装备嵌入式软件量化安全评估[J]. J4, 2014, 36(03): 469-474.
[12]	吴松1，张敏情1,2，吴旭光1. 结合快速编码的F5隐写算法改进[J]. J4, 2013, 35(8): 46-51.
[13]	杨勇. 一种恶意模型下高效的两方安全计算协议[J]. J4, 2013, 35(3): 58-65.
[14]	舒适1,李银国2,蒋建春2. 嵌入式系统底层驱动可视化配置映射规则挖掘[J]. J4, 2013, 35(2): 121-126.
[15]	蒋晶晶1,2，叶剑1，朱珍民1,2. 基于ASM的混合式情境感知共享机制研究[J]. J4, 2012, 34(6): 50-58.