Huang ZhiQiu

Professor  

Alma Mater:南京航空航天大学

Education Level:南京航空航天大学

Degree:Doctoral Degree in Engineering

School/Department:College of Computer Science and Technology

Discipline:Cyberspace Security. Computer Science and Technology. Software Engineering

Contact Information:025-84892400

E-Mail:


Paper Publications

基于混合贝叶斯网络的混合系统安全性分析方法

Hits:

Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院

Journal:电子学报

Key Words:混合系统;动态故障树;混合贝叶斯网络;安全性分析;

Abstract:安全关键系统的安全性分析模型本质上是离散和连续失效分布共存的混合模型.传统的故障树和马尔科夫链分析方法仅能处理离散分布或指数分布的系统,难以对混合系统进行安全性分析.针对该问题,以DFT系统安全模型为基础,提出一种基于混合贝叶斯网络的混合系统安全性分析新方法.首先,利用狄拉克函数和单位阶跃函数分别表示动态故障树节点间的确定性关系和时序关系,将动态故障树转换为贝叶斯网络.然后,通过分段多项式来拟合网络节点的不同失效分布,提出一种k段n次多项式混合贝叶斯网络来表示动态故障树.最后,给出该混合贝叶斯网络的推理算法.实验分析表明本方法能有效地进行混合系统安全性分析.

Translation or Not:no

Date of Publication:2017-12-15

Co-author:房丙午,wy,ly

Correspondence Author:Huang ZhiQiu

Pre One:基于CPA的抽象解释分析方法研究

Next One:支持抽象解释的静态分析方法的形式化体系研究

Profile

黄志球,男,博士,教授,博士生导师,国家教育部计算机基础教学(理工类)指导委员会委员,国防科技工业质量专家委员会委员 ,中国计算机学会理事、“系统软件”专业委员会副主任、“软件工程”委员,中国电子学会软件定义推进委员会委员,IEEE计算机学会南京分会副主席,CCF南京主席,江苏省计算机学会常务理事,江苏省软件人才基金会理事,工信部重点实验室“高安全系统的软件开发与验证重点实验室”主任

主要研究方向为工业软件、智能化软件工程、网络空间安全、大数据和云计算等。

近年来承担国家重点研发计划课题、863高技术项目、国家自然科学基金以及各类国防科技型号项目30余项。发表SCIEI和核心期刊论文100余篇;已培养博士近20名,硕士100余名。获得教育部自然科学奖二等奖1项,省部级科技进步二等奖2项,省部级科技进步三等奖2项,省部级教学成果二等奖2项。