计算机工程与科学2012，Vol.34Issue(12)：22-26,5.DOI:10.3969/j.issn.1007-130X.2012.12.004
微支付协议Millicent的改进与模型检测
Improvement and Model Checking of Micro-Payment Protocol Millicent
摘要
Abstract
To solve the defect of the potential security risk caused by emphasizing the efficiency in the traditional mobile micro-payment protocol, according to the security that the mobile electronic business should have, the paper studies the mobile micro-payment protocol Millicent and discovers that it cheats customers. For the sake of the shortage, increasing the confirmation process between Vendor and Custom makes the protocol non-repudiate. Finally, the improved mobile micro-payment protocol Millicent is modeled and is analyzed with the model checking tool SMV. The analysis results show that the improved protocol owns non-repudiation and fairness besides possessing private and authenticating of the former, so it is better.关键词
微支付/不可否认性/公平性/模型检测/协议分析Key words
micro-payment/non-repudiation/fairness/model checking/protocol analysis分类
信息技术与安全科学引用本文复制引用
周璇,汪学明..微支付协议Millicent的改进与模型检测[J].计算机工程与科学,2012,34(12):22-26,5.基金项目
国家自然科学基金资助项目[2011]61163049号 （）
贵州省自然科学基金项目黔科合J字[2011]2197号 （）
