《商品储运与养护》

　　杂志简介

　　国家级期刊《商品储运与养护》是中国创办最早,最富盛名的物流科技期刊，原国内贸易部优秀科技期刊奖，就经济管理、交通运输、机械工程、发展战略、物流政策、商务电子、包装保养、卫生安全、思想教育、教学研究等领域最新科技成果及热点问题进行探讨。

　　收录情况

　　国家新闻出版总署收录　为中国核心期刊遴选数据库收录、中国期刊网、《中国学术期刊(光盘版)》、《中国期刊全文数据库》、中国知网、万方数据库、《中文科技期刊数据库》全文收录。

　　栏目设置

　　物流论坛、物流工程、物流经济、物流管理、物流技术、供应链管理、应急物流、国际物流、商品配送、经营与管理、安全管理技术、设备与设施、教育研究、安全与管理技术等栏目。

　　期刊优秀目录参考：

　　(1)国际干散货船舶运输要素与市场发展趋势分析 陈继红 宁越 曾德金 王静

　　(4)基于MBP神经网络的物流中心选址模型研究 杨月锋

　　(7)我国国际物流发展对国际贸易的影响及对策研究 张艳丽

　　(9)基于物联网的武汉市现代物流发展现状及对策研究 江长斌 陈莉

　　(13)农村逆向物流的现状分析与对策研究 王明珠

　　(16)两路寸滩保税港区集疏运系统发展现状及对策分析 蔡源真 马新露

　　(21)探讨农改超对物流业的影响 姜爱月

　　(23)湖北省低碳物流业发展研究 漆莉 熊晓亮

　　(25)关于华航集团扭亏增盈的案例分析 谢琪 易荣英

　　(29)关于湖北农村流通体系发展现状的思考 杨申燕

　　(32)连云港港口吞吐量预测影响因素研究 吴春春 张晓玲

　　(34)武汉城市圈保税物流体系的发展现状与构建思路 杨丽梅

　　(37)福建港口可持续发展的冷思考 黄土荣

　　(40)宁波智慧港口发展现状及对策研究 郑静 陆路

　　(42)基于系统动力学模型的物流与经济关系分析 张娜 吴强

　　(44)柳州物流能力与区域经济影响分析 胡玲玲 黄良芳

　　(46)基于循环经济的逆向物流探讨 林敏晖

　　(48)东莞港口物流与区域经济关系的计量分析 苏明 黄晓金

　　核心期刊论文：UPPAAL在线支付系统的安全性验证

　　摘要：随着电子商务的不断发展，消费者对于在线支付系统的服务质量要求越来越高，支付系统不仅要高速完成每笔交易，更要保证支付过程的安全性。在线支付是电子商务的核心功能模块，而这个核心模块又由各个地理位置上分离的各个子模块组成，在该文中会对四个主要子模块进行建模，分析各模块之间的依赖关系及超时的扩散效应，通过UPPAAL对建模后的系统进行模型检测。经实验验证，所设计的支付系统模型可以在产生某个模块的超时后依然能满足安全性。

　　关键词：核心期刊论文,电子商务,支付系统,UPPAAL,模型检测

　　在线支付是电子商务[1]的一个核心模块，是比传统的先下支付更快捷，更方便的一种交易方式。在线支付的出现极大的降低了交易的额外成本，加快了交易速度，使得市场经济下的自由贸易更为兴盛。在线支付改变了人们传统的支付方式，使得消费者可以在有网络的任意地方进行购物消费或者办理转账业务。