基于概率模型检测技术的网络协议建模与分析-计算机应用技术专业论文

摘 要对具有随机性的网络协议进行验证是一个新的有价值的研究方向，该方向目前 的研究方法主要有两种：一是使用概率进程代数的方法；另一种是使用概率模型检 测方法。概率模型检测技术它结合了概率分析和通用模型