可信安全计算实验室研究方向资料

1、可信安全(nqun)计算实验室Lab of Dependable and Secure Computing向剑文共二十三页研究生？研究生与本科生的区别独立发现和解决问题的能力研究生研究中的最大的问题：发现问题如何发现问题？导师指派(zhpi)？自学？量变才能质变阅读是根本厚积薄发共二十三页研究生能力(nngl)培养自学能力阅读是基础博士生与研究生的阅读量（第一年最重要，100/50最低限（？）导师指定阅读？授人以鱼 vs 授之以渔团队协作能力责任心59 vs. 61，80 vs. 120切忌(qij)“放鸽子”认真仔细（Carefulness）论文、PPT共二十三页综合能力文档写作（论文、调研

2、报告、计划书、PPT）沟通(gutng)能力（客户、导师、同学）研究能力（自学）编程能力（自学、分享）共二十三页研究生毕业(b y)最低要求博士发表SCI论文2篇学硕发表核心期刊以上论文1篇授权专利1项专硕申请专利1项最低要求要求自己？目标(mbio)设定（60、80、or 100？）论文专利周期共二十三页评审(pn shn)意见归纳（一）论文题目与内容一致帽子太大太小皆不适宜(shy)研究问题与研究目标（内容）一致大问题小目标贡献（创新点）表述中肯正确理解理论创新、应用创新与组合创新不要混淆理论与应用创新（常见问题）共二十三页评审(pn shn)意见归纳（一）与已有工作比较须恰当中肯必须是同

3、类型、相同（类似）测试环境例：并行(bngxng)策略与串行策略； 分布式爬虫和非分布式爬虫文献引用规范过多网页引用集中引用凑数内部未公开发表资料共二十三页Research OverviewDirectionsDependable ComputingReliability（可靠性）, Availability（可用性）, Safety （安全）Information SecurityApplication DomainsIoT（物联网(lin wn)）Industrial Control System（工业控制系统）Aerospace（航空航天）共二十三页Research Overview (

4、cont.)Projects物联网系统安全可靠性建模与分析技术研究湖北省自然科学基金重点项目（2015CFA069, 20152017）故障树及不完全覆盖算法研究与实现武汉理工大学自主(zzh)创新研究基金（2015IVA033, 20152016）工控系统攻击路径分析子系统工信部242信息安全专项（申请中，2015/7-8答辩）中航工业集团基础研究院合作项目系统（软件）可靠性研究（准备洽谈中）鑫沄科技网站横向，分阶段，方案起草中共二十三页Reliability, Safety, vs. Security三者紧密关联但又有区别相互影响共用数学模型概率、离散数学攻击树（故障树）马尔科夫模型形式化

5、方法等侧重点不同(b tn)专有模型与方法加密解密重要(zhngyo)国际会议：International Conference on Computer Safety, Reliability and Security (SAFECOMP, CORE B Conference) 共二十三页可信安全(nqun)分析方法基于测量的基于模型的仿真（离散事件(shjin)）解析组合模型状态空间模型混合（分层）模型基于数据（分析）的数据挖掘神经网络共二十三页组合(zh)模型模型可靠性框图（Reliability Block Diagram）故障树（Fault Tree）静态故障树vs. 动态故障树所需知

6、识逻辑学（布尔逻辑与时序逻辑）组合算法(sun f)（例如二元决策图）概率论积分（多重）特点简单高效（相比于状态空间模型）通常假设统计独立性（限制？）共二十三页状态(zhungti)空间模型模型马尔科夫模型离散时间与连续时间马尔科夫奖励模型（Markov Reward Model）随机Petri 网（Stochastic Petri Nets）等特点对复杂依赖性和交互关系建模状态空间爆炸问题(wnt)分层复合模型（Hierarchical Model Composition）共二十三页可信性手段(shudun)避错（Fault Avoidance）包括故障预防，消除与预测形式化方法容错（Fau

7、lt Tolerance）冗余设计多样性多版本程序(chngx)（操作系统、杀毒软件等）环境多样性软件老化与再生（WoSAR since 2009, in conjunction with ISSRE, (CCF B)）不完全故障覆盖共二十三页不完全(wnqun)故障覆盖在容错系统中，即使有多余冗余，如果系统不能及时检测、定位与 隔离故障（风险），也会直接导致系统失效或安全事故。如果没有检测到故障，系统无法重构；如果不能及时隔离故障组件，会腐蚀或危害(wihi)其他组件（病毒、泄露、起火等）。忽视不完全故障覆盖容易导致可靠性与安全性的错误（过高）评估系统结构优化问题过多的冗余有可能反而降低系统

8、可靠性多目标优化（成本、可靠性、可用性等）共二十三页研究课题（1）动态系统的安全可靠性建模与分析（湖北自科重点）科学问题动态故障树的静态转换排列个数爆炸问题故障诊断与系统维护的历史相关性问题有效的组合（定性定量(dngling)）分析方法已有基础动态优先与门的静态转换IEEE ICCES 2010 会议最佳论文最小割序的必要性问题（ISSRE 2014 Fast Abstract）必备知识逻辑学（布尔逻辑与时序逻辑）组合算法（二元决策图与时序二元决策图）函数/逻辑编程语言（Maude等）共二十三页研究课题（2）复杂系统的不完全故障覆盖研究（湖北自科重点）科学问题基于全局关联性的无关性覆盖模型复

9、杂系统可靠性建模与分析复杂系统：非单调、多态、多故障、多阶段任务、与（或）动态系统系统结构优化（最佳冗余度）多核节点物联网系统（柳星博士）？已有基础面向单调单故障系统的无关性覆盖模型（IEICE 2013, SAFECOMP 2014, IEEE Trans. Reliability 2015）必备知识逻辑学（布尔逻辑与时序逻辑）多元决策图及相关(xinggun)组合算法优化算法（多目标）共二十三页研究课题（3）基于(jy)系统模型的安全可靠性自动评测技术与工具（242专项、自主创新）实际应用技术问题对工程人员而言，构造正确且完整的安全可靠性数学模型是十分困难且容易出错的；建立从系统模型到数学

10、模型的自动转换。应用领域工业控制系统、物联网（工信部）航空航天系统（中航工业，李伟？）必备知识与技能行业领域专门知识（系统结构与安全可靠性之间关系）算法安全可靠性分析算法（定性定量，如BDD等）攻击树/故障树自动生成算法分层优化算法（Analytic Hierarchy Optimization Process）编程能力图形化界面与文件格式转换（SVG等）编程能力（Python、Java等）数据库共二十三页研究课题（4）基于数据分析的故障风险诊断、实时监控与预警(y jn)（湖北自科重点）科学问题大型复杂系统中的因果关系尤其是隐性故障很难发现基于模型的可靠性评测技术无法提供实时（动态）监控与预

11、警应用领域物联网非线性机械设备与非线性传感器监测信号故障预测的非平稳性（工作条件、负荷与环境的复杂多向性）工业控制系统（工信部）必备知识大数据分析算法（袁晓辉教授？）非线性预测算法神经网络、非线性模糊特征挖掘算法？非平稳性解决方案小波变换与小波包变换等？共二十三页研究课题（5）软件(run jin)老化（自主创新赵阳）科学问题操作系统（安卓）老化现象分析与建模智能软件抗衰技术（重生与续命）应用领域智能移动设备操作系统已有基础软件续命方法（ISSRE2012, CCF B）必备知识与技能软件老化压力测试技术数学建模（曲线拟合与插值？）软件抗衰技术的编程实现（安卓App？）共二十三页研究课题（6）

12、系统安全深度检测技术与工具(gngj)（242专项，陆丽萍教授、林红）科学技术问题嵌入式固件扫描解析（信息提取）文件系统解析（脆弱性分析+逆向分析）固件结构、脆弱性、漏洞间关联性分析应用领域工业控制系统物联网必备知识与技能固件识别文件系统分析逆向工程仿真验证共二十三页国际(guj)国内合作故障树/攻击树（动态与静态）美国杜克大学Kishor Trivedi 教授（IEEE会士）不完全故障覆盖美国杜克大学Kishor Trivedi 教授意大利弗洛伦萨大学Enrico Vicario 教授柳星博士基于数据的故障预测德国海德堡大学Artur Andrzeijak 教授袁晓辉教授软件(run jin)老化美国杜克大学Kishor Trivedi 教授德国海德堡大学Artur Andrzeijak 教授巴西乌柏兰迪亚联邦大学Rivalino Matias 教授软件可靠性德克萨斯大学达拉斯分校Eric Wong 教授（IEEE可靠性学会副主席）共二十三页内容摘要可信安全计算实验室Lab of Dependable and Secure Computing。博士生与研究生的阅读量（第一年最重要，100/50最低限（。沟通能力（客户、导师、同学）。最低要求要求自己。正确理解理论创新、应用创新与组合(z