网络支付协议的形式化安全需求及验证逻辑 - 刘怡文; 李伟琴 (Tongxin xuebao)