网络中的安全问题主要来自于系统中固有存在的脆弱性。当前,脆弱性分析正在由基于规则向基于模型的方向发展。然已有的模型主要是进行定性分析,而非定量分析。本项目将在基于规则的方法基础上,引入随机模型,研究基于随机模型检测的网络脆弱性的量化评估方法,主要包括基础理论和应用的研究。前者研究基于Petri网的随机模型检测及其模型简化求解技术。后者则研究如何利用这些理论有效地对网络脆弱性进行量化评估,其主要包括
{{i.achievement_title}}
数据更新时间:2023-05-31
玉米叶向值的全基因组关联分析
粗颗粒土的静止土压力系数非线性分析与计算方法
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
Receding horizon estimation for networked control systems with random transmission delays
硬件木马:关键问题研究进展及新动向
基于跨媒体随机点积图模型的网络图像事件分析研究
基于脆弱性分析的随机动态网络设计—理论与方法
基于随机近似计算的复用网络动态分析研究
基于切换与随机混合模型的网络化奇异系统故障检测