Symbolic Model Checking and Analysis for E-Commerce Protocol

• 作 者: WEN Jing-Hua ZHANG Mei LI Xian
• 机 构: InformationInstitute,InstituteofSoftwareandTheory
• 出 处: 中国电子科技：英文版
• 发表日期: 2005年3期
• 关键词: 电子商务 服务协议 符号协议 互联网 交易方式 e-commerce protocols fairness symbolic model verificatio
• 基金项目: 广东省自然科学基金，广东省自然科学基金

A new approach is proposed for analyzing non-repudiation and fairness of e-commerce protocols. The authentication e-mail protocol CMP1 is modeled as finite state machine and analyzed in two vital aspects - non-repudiation and fairness using SMV. As a resu