电子商务安全协议的设计与形式化应用分析

摘要

计算机技术的推广,为社会各领域带来了更多发展机遇.特别是与商务领域的融合,衍生出当今的电子商务.电子商务自身具有较强的灵活性特点,在实际应用中不仅能够有效突破时空限制,且能够节省更多交易时间.而安全协议作为电子商务的核心,是大量信息的载体,涉及电子商务参与主体信息,一旦出现问题,势必会损害到电子商务交易双方的利益,如何更好地实现对电子商务安全协议的设计及应用受到了广泛关注.文章结合电子商务安全协议概念,从电子邮件、移动支付及多方公平协议三个方面对安全协议及其形式化应用进行深入探讨.