基于MAS的复杂网络安全形式化建模 (Formal Modeling of Complex Network Security Based on MAS). - Meilin Wei; Mingqing Zhang; Jun Tang; Hongshan Kong (计算机科学, 2015)