可达概率相关论文
近年来,图模型得到越来越多的重视,它不仅可以应用到路网及社交网络中,还可以应用到各种生物网络中。作为图上的基本查询之一,可达......
随着互联网技术的飞速发展和网络规模不断扩河,与互联网相关的恶意攻击、非法入侵等安全事件越来越多。如何对网络脆弱性做出准确......
随着互联网技术的发展和普及,网络在给人类带来极大便利的同时,网络攻击的目的、技术手段也变得更加多样,从而导致网络攻击愈加难......
功能正确和性能可满足是复杂系统可信要求非常重要的两个方面。从定性验证和定量分析相结合的角度,对复杂并发系统进行功能验证和......
根据混合动态系统SPN(StochasticPetriNets)模型的运行规则,给出了几种典型结构(串行结构、并行结构、冲突结构)中变迁的可激发以......
不可靠网络上最可靠广播源问题是网络可靠性问题的一种。该文讨论了星形网络中最可靠广播源问题与最可靠双广播源问题，并针对这两个......
为准确评估计算机网络的脆弱性,结合贝叶斯网络与攻击图提出一种新的评估算法。构建攻击图模型RSAG,在消除攻击图中环路的基础上,......
针对攻击图模型无法准确反映攻击证据对入侵意图预测影响的难题,提出一种基于改进型攻击图的入侵预测算法。引入资源节点、攻击证......
对具有不确定性的复杂系统如网络协议等的性能进行分析是当前的研究热点.将空间资源分析纳入到性能评估过程,用模型检测技术验证时......
