电子商务安全协议的逻辑验证

作者在以前所做的工作中,已对电子商务安全(secureelectronictransactions,简称set)中抽取的片段进行了证明,也对set中可能存在的问题进行了初步探讨.该文在此基础上,对set的整个业务流程进行了严格的逻辑验证,通过形式化逻辑方法的验证,发现了set协议中存在的一些问题,并对如何解决这些问题进行了初步的探讨.