雜志簡介

　　國家級期刊《商品儲運與養(yǎng)護》是中國創(chuàng)辦最早,最富盛名的物流科技期刊，原國內(nèi)貿(mào)易部優(yōu)秀科技期刊獎，就經(jīng)濟管理、交通運輸、機械工程、發(fā)展戰(zhàn)略、物流政策、商務(wù)電子、包裝保養(yǎng)、衛(wèi)生安全、思想教育、教學(xué)研究等領(lǐng)域最新科技成果及熱點問題進行探討。

　　收錄情況

　　國家新聞出版總署收錄　為中國核心期刊遴選數(shù)據(jù)庫收錄、中國期刊網(wǎng)、《中國學(xué)術(shù)期刊(光盤版)》、《中國期刊全文數(shù)據(jù)庫》、中國知網(wǎng)、萬方數(shù)據(jù)庫、《中文科技期刊數(shù)據(jù)庫》全文收錄。

　　欄目設(shè)置

　　物流論壇、物流工程、物流經(jīng)濟、物流管理、物流技術(shù)、供應(yīng)鏈管理、應(yīng)急物流、國際物流、商品配送、經(jīng)營與管理、安全管理技術(shù)、設(shè)備與設(shè)施、教育研究、安全與管理技術(shù)等欄目。

　　期刊優(yōu)秀目錄參考：

　　(1)國際干散貨船舶運輸要素與市場發(fā)展趨勢分析 陳繼紅 寧越 曾德金 王靜

　　(4)基于MBP神經(jīng)網(wǎng)絡(luò)的物流中心選址模型研究 楊月鋒

　　(7)我國國際物流發(fā)展對國際貿(mào)易的影響及對策研究 張艷麗

　　(9)基于物聯(lián)網(wǎng)的武漢市現(xiàn)代物流發(fā)展現(xiàn)狀及對策研究 江長斌 陳莉

　　(13)農(nóng)村逆向物流的現(xiàn)狀分析與對策研究 王明珠

　　(16)兩路寸灘保稅港區(qū)集疏運系統(tǒng)發(fā)展現(xiàn)狀及對策分析 蔡源真 馬新露

　　(21)探討農(nóng)改超對物流業(yè)的影響 姜愛月

　　(23)湖北省低碳物流業(yè)發(fā)展研究 漆莉 熊曉亮

　　(25)關(guān)于華航集團扭虧增盈的案例分析 謝琪 易榮英

　　(29)關(guān)于湖北農(nóng)村流通體系發(fā)展現(xiàn)狀的思考 楊申燕

　　(32)連云港港口吞吐量預(yù)測影響因素研究 吳春春 張曉玲

　　(34)武漢城市圈保稅物流體系的發(fā)展現(xiàn)狀與構(gòu)建思路 楊麗梅

　　(37)福建港口可持續(xù)發(fā)展的冷思考 黃土榮

　　(40)寧波智慧港口發(fā)展現(xiàn)狀及對策研究 鄭靜 陸路

　　(42)基于系統(tǒng)動力學(xué)模型的物流與經(jīng)濟關(guān)系分析 張娜 吳強

　　(44)柳州物流能力與區(qū)域經(jīng)濟影響分析 胡玲玲 黃良芳

　　(46)基于循環(huán)經(jīng)濟的逆向物流探討 林敏暉

　　(48)東莞港口物流與區(qū)域經(jīng)濟關(guān)系的計量分析 蘇明 黃曉金

　　核心期刊論文：UPPAAL在線支付系統(tǒng)的安全性驗證

　　摘要：隨著電子商務(wù)的不斷發(fā)展，消費者對于在線支付系統(tǒng)的服務(wù)質(zhì)量要求越來越高，支付系統(tǒng)不僅要高速完成每筆交易，更要保證支付過程的安全性。在線支付是電子商務(wù)的核心功能模塊，而這個核心模塊又由各個地理位置上分離的各個子模塊組成，在該文中會對四個主要子模塊進行建模，分析各模塊之間的依賴關(guān)系及超時的擴散效應(yīng)，通過UPPAAL對建模后的系統(tǒng)進行模型檢測。經(jīng)實驗驗證，所設(shè)計的支付系統(tǒng)模型可以在產(chǎn)生某個模塊的超時后依然能滿足安全性。

　　關(guān)鍵詞：核心期刊論文,電子商務(wù),支付系統(tǒng),UPPAAL,模型檢測

　　在線支付是電子商務(wù)[1]的一個核心模塊，是比傳統(tǒng)的先下支付更快捷，更方便的一種交易方式。在線支付的出現(xiàn)極大的降低了交易的額外成本，加快了交易速度，使得市場經(jīng)濟下的自由貿(mào)易更為興盛。在線支付改變了人們傳統(tǒng)的支付方式，使得消費者可以在有網(wǎng)絡(luò)的任意地方進行購物消費或者辦理轉(zhuǎn)賬業(yè)務(wù)。