作者在以前所做的工作中 ,已对电子商务安全 (secure electronic transactions,简称 SET)中抽取的片段进行了证明 ,也对 SET中可能存在的问题进行了初步探讨 .该文在此基础上 ,对 SET的整个业务流程进行了严格的逻辑验证 ,通过形式化逻辑方法的验证 ,发现了 SET协议中存在的一些问题 ,并对如何解决这些问题进行了初步的探讨 .
科研之友
微信
新浪微博
Facebook
分享链接
