基于动态混合故障模型和进化博弈论的可生存性分析方法研究

批准号:
60970143
项目类别:
面上项目
资助金额:
29.0 万元
负责人:
朱建明
依托单位:
学科分类:
F0206.信息安全
结题年份:
2012
批准年份:
2009
项目状态:
已结题
项目参与者:
张庆杰、林政、张帆、朱雷、王坚、海沫、陈志新、张艳梅、葛新景
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点,提供专业选题建议
深度指导申报书撰写,确保创新可行
指导项目中标800+,快速提高中标率
微信扫码咨询
中文摘要
本项目基于动态混合故障模型和进化博弈论,研究可生存性的定量评价方法和系统的系统(SoS,System of Systems)可生存性保障理论与技术。在对可生存性与安全性、可靠性、可信性等属性关系深入研究的基础上,设计新的系统可生存性分析范式;基于动态混合故障模型和进化博弈论,研究系统可生存性的评价理论与方法,建立系统可生存性的定量评价模型;基于通用可组合安全(UC,Universally Composable)模型,借鉴协议形式化分析与组合的理论与方法,研究系统可生存性的验证与可组合理论。在此基础上,研究系统的系统的可生存性保障理论与方法,为构建可生存的信息系统提供理论基础和实用方法。
英文摘要
本项目基于动态混合故障模型和进化博弈论,研究可生存性的定量评价方法和系统的系统(SoS)可生存性保障理论与技术。在研究过程中,发表学术论文27篇,出版专著2部,申请发明专利2项。取得的主要成果如下:. (1)在可生存性与安全性、可靠性、可信性的关系研究过程中,查阅了国内外相关资料,分别定义了安全性、可靠性、可信性与可生存性的原子属性,从战略层、战术层和运行层三个层面分析信息系统的可生存性,通过整合可靠性、混合故障模型和可生存性,设计了新的信息系统可生存性分析范式。. (2)将可靠性分析方法与动态混合故障模型相结合,定量描述系统故障行为。研究了信息系统安全事件的预警机制,提出基于报警原因的聚类分析方法,有效地提高了报警分析的效率。针对信息系统中内部人员的滥用资源行为,提出了一种基于隐马尔可夫模型(HMM)的内部人员资源滥用行为检测方法。. (3)基于博弈论研究了信息系统的可生存性问题,重点研究了可生存性的关键技术—秘密共享机制。应用进化博弈模型,提出理性第三方的概念,将秘密共享机制形式化为n个二人博弈。同时提出解决博弈问题的理性秘密分发机制,有效解决了秘密重构中各方的不合作问题。. (4)UC模型是用于定义密码协议安全性的框架。基于UC模型,对信息系统可生存性进行分析,研究影响系统可生存性的因素,分析这些因素之间的关系,以及这些因素对于系统性能的影响,设计系统的可生存性验证模型。基于UC框架下,利用基于身份的签密技术研究安全认证群组通信机制。 . (5)借鉴可生存模型PASIS,结合了Threshold schemes和信息隐藏技术,研究了基于信息隐藏的可生存存储系统的模型(SSSBIH),该模型可以防止单个节点上对数据片断的篡改和来自合法用户的内部攻击。这样可以保证数据是可信的。社交网络是典型的SoS,以社交网络为研究对象,研究了P2P移动社交网络构造及发现算法。
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
DOI:10.1109/tsmcb.2012.2188283
发表时间:2012-08
期刊:IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)
影响因子:--
作者:Junjie Wu;Shiwei Zhu;Hui Xiong;Jian Chen;Jianming Zhu
通讯作者:Junjie Wu;Shiwei Zhu;Hui Xiong;Jian Chen;Jianming Zhu
DOI:--
发表时间:--
期刊:计算机工程
影响因子:--
作者:柴艳妹;夏天;朱建明;李海峰
通讯作者:李海峰
DOI:--
发表时间:--
期刊:计算机科学
影响因子:--
作者:王秀利;海沫;朱建明;章宁
通讯作者:章宁
DOI:--
发表时间:--
期刊:计算机学报
影响因子:--
作者:曹怀虎;朱建明;潘耘;李海峰
通讯作者:李海峰
DOI:--
发表时间:--
期刊:计算机工程
影响因子:--
作者:王秀利;王萌
通讯作者:王萌
区块链赋能联邦学习的安全隐私关键技术与激励机制研究
- 批准号:62372493
- 项目类别:面上项目
- 资助金额:50.00万元
- 批准年份:2023
- 负责人:朱建明
- 依托单位:
工业信息物理融合系统安全理论与关键技术
- 批准号:U1509214
- 项目类别:联合基金项目
- 资助金额:190.0万元
- 批准年份:2015
- 负责人:朱建明
- 依托单位:
基于博弈论的信息安全理论与方法研究
- 批准号:61272398
- 项目类别:面上项目
- 资助金额:80.0万元
- 批准年份:2012
- 负责人:朱建明
- 依托单位:
存储网络系统的可生存性理论与关键技术研究
- 批准号:60743005
- 项目类别:专项基金项目
- 资助金额:8.0万元
- 批准年份:2007
- 负责人:朱建明
- 依托单位:
国内基金
海外基金
