密码协议的一种基于组合推理的模型验证 - 刘怡文; 李伟琴; 冯登国 (Tongxin xuebao)