【摘 要】
：
为解决传统移动微支付协议因注重效率而导致协议存在安全隐患的缺陷,根据移动电子商务所应具备的安全性,通过对移动微支付协议Millicent的研究,发现其存在严重的用户欺骗问题
【基金项目】
：
国家自然科学基金资助项目[2011]61163049号, 贵州省自然科学基金项目黔科合J字[2011]2197号
论文部分内容阅读
为解决传统移动微支付协议因注重效率而导致协议存在安全隐患的缺陷,根据移动电子商务所应具备的安全性,通过对移动微支付协议Millicent的研究,发现其存在严重的用户欺骗问题。针对该协议存在的不足,增加商家与用户间的确认过程,使协议具有不可否认性。最后,对改进的移动微支付协议Millicent建模并使用SMV模型检测工具进行分析。分析结果表明,改进的协议除具有原协议的保密性和认证性外还具有不否认性和公平性,相比原协议更优越。
其他文献
【正】 各市、县人民政府,自治区农垦局,区直各委、办、厅、局:为加强对我区土地确权登记发证工作的领导,加快土地登记发证工作,从源头上减少和避免土地权属纠纷,自治区人民
【正】 各省、自治区、直辖市、计划单列市财政厅(局)、广播影视局、文化厅(局):根据《电影管理条例》(国务院令第342号)及《财政部关于加强非税收入管理的通知》(财综〔2004
介绍粉末涂料用于热敏类材质的新品种及UV光固化、低温固化和改进型的低温固化 粉末涂料的应用。
党的十八大以来,习近平总书记就科技创新作出一系列重要论述,提出了"科技是国之利器""创新是引领发展的第一动力"等重要论断。要求深入推动科技创新和经济社会发展深度融合,
【正】 各市、县人民政府,自治区农垦局,区直各委、办、厅、局:现将《广西壮族自治区节能减排实施方案》印发给你们,请结合实际,认真贯彻执行。一、充分认识节能减排工作的重
【正】 各市、县人民政府,区直各委、办、厅、局: 鉴于自治区人工影响天气指挥部大部分成员工作已变动,为进一步加强对我区人工影响天气工作的领导,更好地发挥人工影响天气在
对长江上中下游9座大型水库的水体营养状态进行了评价，结果表明，有3座水库和丹江口水库丹江水域处于不同程度的中营养型，有5座水为和丹江口水库汉江水域处于不同程度的中－富营养
航天飞机发射系统中,橙色的外部燃料箱不仅贮存着航天飞机发射升空时主发动机的燃料,也是构成航天飞机＂脊梁＂的一部分,支撑着航天飞机的轨道器和火箭助推器。考虑到火箭燃料箱