%0 Journal Article
%T 一种关键任务系统自律可信性模型与量化分析
%A 王慧强？
%A 吕宏武？
%A 赵倩？
%A 董玺坤？
%A 冯光升？
%J 软件学报
%P 344-358
%D 2010
%X 将现有入侵容忍、自毁技术与自律计算相结合,提出了一种基于sm-pepa(semi-markovperformanceevaluationprocessalgebra)的关键任务系统自律可信性模型以支持形式化分析和推理.该模型具有一定程度的自管理能力,采用分级处理的方式应对各种程度的可信性威胁,满足了关键任务系统对可信性的特殊需求.在此基础上,从稳态概率角度提出了一种自律可信性度量方法.最后,结合具体实例对模型参数对自律可信性的影响进行了初步分析.实验结果表明,增大关键任务系统可信性威胁检测率和自恢复成功率,可在较大范围内提高系统的自律可信特性.
%K 可信性
%K 自律计算
%K pepa(performance
%K evaluation
%K process
%K algebra)
%K 自容忍
%K 自恢复
%K 自毁
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3784&flag=1