网络可生存性的形式化建模方法研究
提出一种基于性能评估进程代数的网络可生存性形式化建模方法。通过剖析影响可生存性的本质特征，将服务请求与服务器、攻击者与服务器描述为不同的组件，使用PEPA语言精确描述系统各个状态问的逻辑关系和动态变化过程，从用户服务请求和攻击影响两个角度分别构建网络可生存性形式化模型，并比较两种建模角度的异同。理论分析和实验结果表明了本文所提方法的合理性和有效性，该模型能够正确地反映出可生存性的关键属性，并可在理论上指导可生存系统的设计和实现。
网络安全 可生存性 形式化建模 性能评估进程代数
王健 赵国生
哈尔滨理工大学 计算机科学与技术学院 哈尔滨150001 哈尔滨师范大学 网络中心 哈尔滨150080
国内会议
第三届中国计算机网络与信息安全学术会议(CCNIS2010)
河北保定
中文
149-159
2010-11-26（万方平台首次上网日期，不代表论文的发表时间）