协议抗拒绝服务攻击性自动化证明
孟博,黄伟,王德军,邵飞
Automatic proof of resistance of denial of service attacks in protocols
Bo MENG,Wei HUANG,De-jun WAND,Fei SHAO
通信学报 . 2012, (3): 112 -121 .  DOI: 1000-436X(2012)03-0112-10