安全 电子交 易 S E T ( S e c u r e E l e c t r o n i c T r a n s a c t i o n ) 协议通过 制定标 准和采 用各 种加 密算法和身份认 证来解决 阻碍 电子 商 务发展 的许 多安全 问题。首先对 S E T协议注册 阶段和购 买阶段过程进行抽 象, 给 出其形 式化模 型及模型描述 。发现 由于 S E T本身 的缺 陷可能导致 的入侵者 的攻 击, 以 及 该攻 击对购买 阶段 中商家和持卡人造成 的安全威胁 , 对协议的改进提供 了有益 的参考。
