一种关键任务系统自律可信性模型与量化分析

• 作者: 冯光升 吕宏武 王慧强 董玺坤 赵倩
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 可信性 自律计算 PEPA(performance evaluation process algebra) 自容忍 自恢复 自毁
• 年，卷（期）: 2010,（2）
• 页码范围: 344-358
• 页数: 15页
• 分类号: TP311
• 字数: 12398字
• 语种: 中文

摘要

将现有入侵容忍、自毁技术与自律计算相结合,提出了一种基于SM-PEPA(semi-Markov performance evaluation process algebra)的关键任务系统自律可信性模型以支持形式化分析和推理.该模型具有一定程度的自管理能力,采用分级处理的方式应对各种程度的可信性威胁,满足了关键任务系统对可信性的特殊需求.在此基础上,从稳态概率角度提出了一种自律可信性度量方法.最后,结合具体实例对模型参数对自律可信性的影响进行了初步分析.实验结果表明,增大关键任务系统可信性威胁检测率和自恢复成功率,可在较大范围内提高系统的自律可信特性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王慧强	哈尔滨工程大学计算机科学与技术学院	159	1573	20.0	32.0
2	冯光升	哈尔滨工程大学计算机科学与技术学院	51	237	8.0	13.0
3	吕宏武	哈尔滨工程大学计算机科学与技术学院	49	252	8.0	13.0
4	赵倩	哈尔滨工程大学计算机科学与技术学院	10	88	4.0	9.0
5	董玺坤	哈尔滨工程大学计算机科学与技术学院	2	29	1.0	2.0