针对移动微支付协议 Payword 不满足不可否认性的问题，提出了改进的移动微支付协议 Payword。 相比 Payowrd，改.进的 Payword 具有更好的安全性和公平性。 为验证改进的移动微支付协议 Payword 能否满足不可否认性， 对 SVO 逻辑进行扩展，并运用扩展后的 SVO 逻辑对改进的 Payword 微支付协议进行形式化分析。分析结果表明，改进后的微支付协议满足不可否认性。