一种新型的电子商务协议及形式化分析

作者：石曙东; 李之棠电子商务协议ban逻辑可信第三方

摘要：该文提出了一个可运行在不安全、不可靠信道上的电子商务协议NRP，该协议可使通信双方处于平等的地位，并有效地防止欺骗行为的发生。通过使用扩展BAN逻辑有效地分析了NRP协议的正确性，对电子商务协议的设计和分析具有重要的指导作用。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社