从整个网络支付协议的安全角度出发

提出网络支付协议的多层安全需求模型

包括以认证和密钥分配为基础的基层需求、网络支付协议固有的中层需求（包括保密性、原子性、公平性、完整性、匿名性、不可否认性、可追究性等）、以及面向具体应用的高层需求。基于一阶逻辑和时序逻辑

提出一种适合描述网络支付协议的形式化安全需求的逻辑

描述了该逻辑的语法结构和推理规则

并用该安全需求逻辑对网络支付协议的多层安全需求进行了形式化描述。最后

以SET协议为例进行需求验证。