主要使用运行模式法对简化的SET支付协议即Lu-Smolka协议进行了形式化分析，通过分析找到了六种不同的攻击形式，其中四种是新发现的攻击，并且对这六种攻击形式进行了深入的分析，发现了其中的差异和可能造成的潜在攻击，最后根据攻击的特征对这六种攻击进行了分类。