网络安全建模与分析——一种概率值传递CCS方法
密码学与安全
2015-07-27 v1
摘要
在这项工作中，我们提出一种概率值传递CCS（通信系统演算）方法，用于建模和分析包含一个攻击者和一个防御者的典型网络安全场景。通过依据概率互模拟对该模型进行最小化，并借助图论方法进行抽象，我们设计了两种基于逆向归纳的算法，分别用于计算纳什均衡策略和社会最优策略。对于每种算法，我们都证明了其正确性并给出了实现。最后，通过一个详细的案例研究阐释了该方法。
引用
@article{arxiv.1507.06769,
title = {Modelling and Analysis Network Security -- a PVCCS approach},
author = {Qian Zhang and Ying Jiang and Liping Ding},
journal= {arXiv preprint arXiv:1507.06769},
year = {2015}
}