Text this: 网络支付协议的形式化安全需求及验证逻辑