论文部分内容阅读
安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议，基于此，该文给出了一种同时支持这两类商品交易的安全支付协议，最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。
安全支付协议的设计与验证研究
【摘 要】
：
安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议，基于此，该文给出了一种同时支持这两类商品交易的安全支付协议，最后使用SMV工
【机 构】
：
桂林电子工业学院计算机系
【出 处】
：
计算机工程与应用
【发表日期】
：
2005年6期
【基金项目】
：
广西自然科学基金(编号:0229051)的资助
其他文献
教育不是一味地批评、指责和说教,有爱和尊重的教育,才是真正的教育。教师教育理念的转变,一个温暖的转身,也许会收到意想不到的教育效果。
路由问题是无线传感器网络中的核心问题之一,寻找从源到汇的最小费用路径非常困难.蚁群优化算法是最近提出的求解复杂组合优化问题的启发式算法,该算法能够在完全分布式环境
在企业资源计划(ERP)系统的设计与实现中结合离散行业的生产特点，提出了在ERP系统中强化流的概念。建立以物流为核心、以计划为主线、紧密结合企业管理模式的生产管理模型。开
小学音乐课是培养学生艺术气质的重要学科,传统的音乐课堂已不能适应飞速发展的社会需求,而应该还学生的主体地位,让学生在听音乐的过程中,激发起对音乐的兴趣,给学生演唱的