运行模式法分析ISO/IEC密钥建立协议 - 张玉清; 王春玲; 冯登国 (Tongxin xuebao)