貴州財經(jīng)大學本科畢業(yè)論文參考格式(2015版)

1、本 科 畢 業(yè) 論 文 （設 計）我國儲蓄函數(shù)的多元線性回歸小3號宋體，加下劃線分析我國儲蓄函數(shù)的多元線A Multivariate Linear Regression 小3號Times New Roman，加下劃線Analysis of Chinas Savings Function作 者孫彥龍專 業(yè)金融學指導教師張目 副教授學 院金融學院二一年五月5誠信聲明本人鄭重聲明：本人所呈交的畢業(yè)論文，是在導師 指導下獨立研究取得的成果。畢業(yè)論文中凡引用他人已經(jīng)發(fā)表的成果、數(shù)據(jù)、觀點等，均已明確注明出處。除文中已注明引用的內(nèi)容外，不包含任何其他個人或集體已發(fā)表的論文。若有抄襲，愿承擔一切后果。特此聲

2、明作者簽名： 簽字日期：貴州財經(jīng)大學本科畢業(yè)論文授權使用聲明作為本科生畢業(yè)的條件之一,畢業(yè)論文著作權擁有者授權貴州財經(jīng)大學擁有畢業(yè)論文的部分使用權,即:學校有權按有關規(guī)定向國家有關部門或機構送交論文的復印件和電子版,允許論文被查閱和借閱,可以將畢業(yè)論文編入有關數(shù)據(jù)庫進行檢索,可以釆用影印、縮印或掃描等復制手段保存、匯編畢業(yè)論文。本人提交的電子文檔的內(nèi)容和紙質論文的內(nèi)容相一致。保密的畢業(yè)論文在解密后也遵守此規(guī)定。公開 保密( 年)作 者 簽 名： 簽字日期：指導教師簽名： 簽字日期：四號、黑體、加粗、居中摘要本文主要對邏輯方法與模型檢測技術及其在電子商務協(xié)議并形式化分析中的應用進行了系統(tǒng)研究?？?/p>

3、的來說，從理論到實踐兩個層面上研究了電子商務協(xié)議的形式化分析的相關技術，其工作主要有以下幾個方面:1.對電子商務協(xié)議的基本理論和基本性質進行了分析和討論，包括：安全性、保密性、完整性、可認證性、非否認性、公平性、時效性等，并對其中一些重要性質做新的定義，提出電子商務協(xié)議設計的基本準則。五號、宋體、1.5倍行間距2.對當前流行的電子商務協(xié)議形式化分析方法進行重點研究，包括BAN邏輯、Kailar邏輯及周卿方法。采用這些較新的形式化分析方法對幾個典型協(xié)議進行分析，找出設計缺陷并提出新的公平非否認性協(xié)議。五號、宋體、用逗號分隔關鍵詞：電子商務協(xié)議，形式化分析，邏輯方法，模型檢測，博弈邏輯四號、黑體、

4、加粗四號，TimesNewRoman加粗、居中AbstractThe dissertation mainly studies the applications of logic and model checking methods in formal analysis of E-commerce protocols. In general, the author studies the related formal analysis technology of E-commerce protocols from two aspects, theory and applications. The

5、 main works and results are as follows:1.Analyzes and discusses the basic theories and characters of E-commerce protocols, includes: security, secrecy, integrity, authentication, non-repudiation, fairness, timeliness and etc. redefine some key significant characters, and bring forward some new rules

6、 of E-commerce protocols design.2.Studies the current formal analysis methods for E-commerce protocols: BAN logic、Kailar logic and Zhou-Qing approach. Use the above methods to analyzing some important protocols, find out its limitations and bring forward a new fair non-repudiation protocol.五號，TimesN

7、ewRoman，用逗號分隔開五號，TimesNewRoman加粗Keywords：E-commerce Protocols, formal analysis, logic method, Symbolic Model Checking, game logic目錄 摘要IAbstractII1.緒論11.1課題背景12.電子商務協(xié)議22.1密碼協(xié)議27 結束語37.1 主要研究工作37.2 下一步工作3參考文獻4致 謝5附錄1:參考文獻基本格式1附錄2:論文目錄和頁碼的設置方法4 一級標題 四號 宋體 加粗1.緒論 正文部分宋體 五號字 1.5倍行距，段首縮進兩個字符最近幾年來，隨著計算機與網(wǎng)絡

8、技術的飛速發(fā)展和廣泛應用，使得信息的流通與存取變得更為快速與便捷。例如:政府積極推進電子政務、企業(yè)公司間電子商務(Electronic commerce)、個人在線購物(on-line Shopping)、信息家電(Information Appliance)、電子商務等，這些都是計算機與網(wǎng)絡技術的重大應用的結果。因此可以說，在過去的十幾年里，計算機與計算機網(wǎng)絡技術帶給人類社會的重大影響，不亞于工業(yè)革命，意義重大而深遠。二級標題 宋體 五號 加粗自從美國前總統(tǒng)克林頓發(fā)表了“電子商務白皮書”之后，各國都加快步伐來構建電子商務系統(tǒng)，以迎接全球信息化、網(wǎng)絡商業(yè)化的到來。沖繩八國集團發(fā)表的全球信息化宣

9、言其核心的內(nèi)容就是電子商務(Electronic commerce)，據(jù)IDC公布的數(shù)據(jù)，全球電子商務的規(guī)模2003年已突破1萬億美元，2004年已超過7.3萬億美元.“上網(wǎng)的企業(yè)不一定能成功，但不上網(wǎng)的企業(yè)將會被淘汰出局”這已經(jīng)成為大多數(shù)人的共識。世界上許多大的公司都將電子商務列為主要的發(fā)展方向。IBM公司25%的收入來自于電子商務；CISCO公司85%的交易在線完成，電子商務使其銷售額增加了500%，而人員僅增加了100%，交貨期也由原來的3周變?yōu)?天。電子商務在增加賣方的銷售機會的同時，也同樣增加了買方購買的機會，例如企業(yè)采購時利用電子商務可以找到新的供應商和貿(mào)易伙伴。另外在電子商務中，

10、討價和還價的傳遞也十分快捷。總的看來，美國的電子商務的啟動期為1991-1995, 1996-1999為其高速增長期，從2000年開始進入穩(wěn)定的成長期。我國政府也積極推動電子商務發(fā)展，1997年10月，標志著中國政府在電子商務領域實質性突破，1996-1999年為啟動期，從1999年開始進入高速增長期，而后隨著網(wǎng)絡經(jīng)濟的“泡沫”現(xiàn)象，全球的電子商務活動暫時陷入了“寒冬”，現(xiàn)已恢復進入了健康的發(fā)展階段。1.1課題背景密碼協(xié)議是以密碼學為基礎的消息交換協(xié)議，其目的是在網(wǎng)絡環(huán)境中提供各種安全服務1。安全目標是多種多樣的。例如，認證協(xié)議的目標是認證參加協(xié)議的主體的身份。此外，許多認證協(xié)議還有一個附加的

11、目標，即在主體之間安全地分配密鑰或其他各種秘密。密碼協(xié)議的主要目的是利用密碼技術實現(xiàn)密鑰交換、身份認證和安全支付，在安全領域中協(xié)議同密碼算法同樣重要。若密碼算法十分先進，但密碼協(xié)議的設計有缺陷，該密碼體系仍存在嚴重的安全隱患。當前關于安全問題的研究熱點之一是涉及密鑰分布、身份驗證、數(shù)字簽名和公證的密碼協(xié)議的建模與形式化分析1。 2.電子商務協(xié)議2.1密碼協(xié)議密碼協(xié)議基本概念密碼協(xié)議是密碼參與者采取的一系列步驟，它包括兩方或多方密碼參與者，設計它的目的是要完成一項任務?！耙幌盗胁襟E”意味著協(xié)議是從開始到結束的一個序列，每一步必須按嚴格的規(guī)定依次執(zhí)行，在前一步完成前，后面的步驟都不能執(zhí)行 ；“包括

12、兩方或多方”意味著完成這個協(xié)議至少需要兩個人，單獨的一個人不能構成協(xié)議，當然單獨的一個人也可采取一系列步驟去完成一個任務，但這不是協(xié)議（另外一些人必須完成某件事才構成協(xié)議）；最后，“設計它的目的是要完成一項任務”意味著協(xié)議必須做一些事。有些東西看起來像協(xié)議，但不完成一個任務，那也不是一個完整的協(xié)議，只是浪費時間而已2。為了分析方便和書寫統(tǒng)一，我們對本書中用到的關于協(xié)議形式分析中的符號說明如表2-1所示：表名稱位于表格上方 宋體，五號 居中 表2-1 協(xié)議形式分析中的符號說明A System principal A ( Alice )B System principal B (Bob)S Tru

13、sted ServerAB: m A sending a message m to B m可放箭頭上m,n Concatenation of message m and n 可用逗點代逗號Ks Public key of the Trusted Servermk Encrypt m using key kmk Decrypt m using key k Bit-wise exclusive-or operation (XOR) 三級標題 宋體 五號2.1.3 電子商務協(xié)議介紹本文只考慮協(xié)議的非否認性和公平性，假定協(xié)議是安全的，并不引入第三方攻擊者模型，因而參與協(xié)議的主體集合為：付款人A，收款人

14、B、貨幣服務方CS 。其中貨幣服務方CS是誠實公正的，將嚴格執(zhí)行協(xié)議運行，而A和B則不一定誠實有可能為了自己的利益中斷協(xié)議執(zhí)行。協(xié)議中三個參與主體在SMV系統(tǒng)中都對應一個FSM, 這三個FSM在同一MODULE之內(nèi)，每個主體都是這個MODULE的一個實例(Instance),這三個實例分別為Payer，Payee和CoinService。在協(xié)議運行的時候，每個主體選擇各自相應的自動機運行，其狀態(tài)轉移圖分別示于圖2-1、圖2-2和圖2-3（其中，！表示發(fā)送消息；？表示接收消息）。圖名稱位于圖示下方 宋體，五號，居中 圖2-1 付款人A的狀態(tài)轉換圖7 結束語形式化描述方法是連接協(xié)議工程各個階段的紐

15、帶，是協(xié)議工程中的核心問題。電子商務協(xié)議是實現(xiàn)電子商務的重要技術基礎，而安全性、公平性和可追究性又是電子商務協(xié)議安全中最重要的性質?；谶壿嫷男问椒治龇椒ㄒ殉蔀槟壳半娮由虅諈f(xié)議研究的主要熱點，也是設計電子商務協(xié)議中值得研究的重要課題。本章將對全文的研究工作及創(chuàng)新點進行總結，并且提出一些需要進一步深入研究的問題。7.1 主要研究工作7.2 下一步工作參考文獻1 昂溫 G，昂溫P S外國出版史M陳生錚，譯北京：中國書籍出版社，1988 2 馬克思關于工資、價格和利潤的報告札記M/馬克思，恩格斯馬克思恩格斯全集：第44卷北京：人民出版社，1982：505 3 中國地質學會地質論評J1936，1（1）

16、北京：地質出版社，1936四號、黑體、加粗、居中 4 李炳穆理想的圖書館員和信息專家的素質與形象J圖書情報工作，2000(2)：5-8 5 姜錫洲一種溫熱外敷藥制備方案：中國，88105607.3P1989-07-26中文采用：五號宋體；英文采用：五號Times NewRoman段落采用1.5倍行距 6 METCALF S W. The Tort Hall air emission study C/OL/ The International Congress on Hazardous Waste, Atlantic Marriott Marquis Hotel, Atlanta, Georgi

17、a, June 5-8, 1995: Impact on human and ecological health1998-09-22. http: / : 8080/Cong95.html.四號、黑體、加粗、居中致 謝感謝我的導師XXX教授，他自學嚴謹、一絲不茍的作風一直是我以后工作、學習中的榜樣；他循循善誘的教導和不拘一格的思路給予我無盡的啟迪。感謝我的白老師，這片論文的每個實驗細節(jié)和每個數(shù)據(jù)，都離不開你的細心指導。而你開朗的個性和寬容的態(tài)度，幫助我能夠很快的融入我們這個新的實驗室。感謝我的室友們，從遙遠的家來到這個陌生的城市里，是你們和我共同維系著彼

18、此之間兄弟般的感情，維系著寢室那份家的融洽。四年了，仿佛就在昨天。四年里，我們沒有紅過臉，沒有吵過嘴，沒有發(fā)生上大學前所擔心的任何不開心的事情。只是今后大家就難得再聚在一起吃每年元旦那頓飯了吧，沒關系，各奔前程，大家珍重。但愿遠赴米國的C平平安安，留守復旦快快樂樂，揮師北上的順順利利，也愿離開我們寢室的開開心心。我們在一起的日子，我會記一輩子的。感謝我的爸爸媽媽，焉得諼草，言樹之背，養(yǎng)育之恩，無以回報，你們永遠健康快樂是我最大的心愿。在論文即將完成之際，我的心情無法平靜，從開始進入課題到論文的順利完成，有多少可敬的師長、同學、朋友給了我無言的幫助，在這里請接受我誠摯的謝意！附錄1:參考文獻基本

19、格式 一、參考文獻是對期刊論文引文進行統(tǒng)計和分析的重要信息源之一 ，在本規(guī)范中采用 GB 7714推薦的順序編碼制編排。 二、參考文獻著錄項目 a. 主要責任者 (專著作者、論文集主編、學位申報人、專利申請人、報告撰寫人、期刊文章作者、析出文章作者)。多個責任者之間以“，”分隔，注意在本項數(shù)據(jù)中不得出現(xiàn)縮寫點“.”。主要責任者只列姓名，其后不加“著”、“編”、“主編”、“合編”等責任說明。 b. 文獻題名及版本(初版省略)。 c. 文獻類型及載體類型標識。 d. 出版項(出版地、出版者、出版年)。 e. 文獻出處或電子文獻的可獲得地址。 f. 文獻起止頁碼。 g. 文獻標準編號(標準號、專利號

20、)。 三、參考文獻類型及其標識 1、根據(jù) GB 3469規(guī)定，以單字母方式標識以下各種參考文獻類型：參考文獻類型專著論文集報紙文章期刊文章學位論文報告標準專利文獻類型標識MCNJDRSP注：M（Monograph）,C(Collection),N(Newspaper),J(Journal),D(Dissertation),R(Report), S(Standard),P(Patent).2、對于專著、論文集中的析出文獻，其文獻類型標識建議采用單字母“A”；對于其他未說明的文獻類型，建議采用單字母“Z”。 3、對于數(shù)據(jù)庫 (database) 、計算機程序 (computer program)

21、及電子公告 (electronic bulletin board)等電子文獻類型的參考文獻，建議以下列雙字母作為標識： 電子參考文獻類型數(shù)據(jù)庫計算機程序電子公告電子文獻類型標識DBCPEB4、電子文獻的載體類型及其標識 對于非紙張型載體的電子文獻，當被引用為參考文獻時需要在參考文獻類型標識中同時標明其載體類型 。本規(guī)范建議采用雙字母表示電子文獻載體類型：磁帶(magnetic tape)MT，磁盤(disk)DK，光盤(CD-ROM)CD，聯(lián)機網(wǎng)絡(online)OL，并以下列格式表示包括了文獻載體類型的參考文獻類型標識： 文獻類型標識/載體類型標識 如：DB/OL聯(lián)機網(wǎng)上數(shù)據(jù)庫(databa

22、se online) DB/MT磁帶數(shù)據(jù)庫(database on magnetic tape) M/CD 光盤圖書(monograph on CD-ROM) CP/DK磁盤軟件(computer program on disk) J/OL 網(wǎng)上期刊(serial online) EB/OL網(wǎng)上電子公告(electronic bulletin board online) 以紙張為載體的傳統(tǒng)文獻在引作參考文獻時不必注明其載體類型。 四、文后參考文獻表編排格式 參考文獻按在正文中出現(xiàn)的先后次序列表于文后；表上以 “參考文獻：”(左頂格)或 “參考文獻” (居中)作為標識；參考文獻的序號左頂格，并用

23、數(shù)字加方括號表示，如1、2、，以與正文中的指示序號格式一致 。參照ISO 690及ISO 690-2，每一參考文獻條目的最后均以“.”結束。各類參考文獻條目的編排格式及示例如下： a. 專著、論文集、學位論文、報告序號 主要責任者. 文獻題名 文獻類型標識. 出版地： 出版者， 出版年. 起止頁碼(任選). 1劉國鈞， 陳紹業(yè)，王鳳翥. 圖書館目錄M. 北京：高等教育出版社，1957. 15-18. 2辛希孟. 信息技術與信息服務國際研討會論文集：A集C.北京： 中國社會科學出版社，1994. 3張筑生. 微分半動力系統(tǒng)的不變集D. 北京：北京大學數(shù)學系數(shù)學研究所，1983.4馮西橋. 核反應

24、堆壓力管道與壓力容器的LBB分析R. 北京 ：清華大學核能技術設計研究院，1997. b. 期刊文章 序號 主要責任者.文獻題名J. 刊名，年，卷(期)： 起止頁碼. 5何齡修. 讀顧城南明史J. 中國史研究，1998，(3)：167-173. 6金顯賀，王昌長，王忠東，等. 一種用于在線檢測局部放電的數(shù)字濾波技術 J. 清華大學學報(自然科學版)， 1993， 33(4)： 62-67. c. 論文集中的析出文獻序號 析出文獻主要責任者. 析出文獻題名 A. 原文獻主要責任者(任選) . 原文獻題名 C. 出版地：出版者，出版年. 析出文獻起止頁碼.7鐘文發(fā). 非線性規(guī)劃在可燃毒物配置中的應

25、用A. 趙瑋. 運籌學的理論與應用中國運籌學會第五屆大會論文集C. 西安：西安電子科技大學出版社，1996. 468-471. d.報紙文章序號 主要責任者. 文獻題名 N. 報紙名，出版日期 (版次). 8 謝希德. 創(chuàng)造學習的新思路N. 人民日報，1998-12-25(10). e. 國際、國家標準 序號 標準編號，標準名稱S. 9 GB/T 16159-1996，漢語拼音正詞法基本規(guī)則S. f.專利 序號 專利所有者. 專利題名 P. 專利國別：專利號，出版日期. 10 姜錫洲. 一種溫熱外敷藥制備方案 P. 中國專利：881056073，1989-07-26. g.電子文獻 序號 主要

26、責任者.電子文獻題名 電子文獻及載體類型標識.電子文獻的出處或可獲得地址，發(fā)表或更新日期/引用日期(任選). 11 王明亮. 關于中國學術期刊標準化數(shù)據(jù)庫系統(tǒng)工程的進展 EB/OL. http:/www. 1998-08-16/1998-10-04. 12萬錦坤. 中國大學學報論文文摘(1983-1993). 英文版 DB/CD. 北京:中國大百科全書出版社，1996. h.各種未定義類型的文獻 序號 主要責任者.文獻題名 Z. 出版地：出版者，出版年. 五、參考文獻與注釋的區(qū)別 參考文獻是作者寫作論著時所參考的文獻書目，一般集中列表于文末；注釋是對論著正文中某一特定內(nèi)容的進一步解釋或補充說明 ，一般排印在該頁地腳 。參考文獻序號用方括號標注，而注釋用數(shù)字加圓圈標注(如、)。附錄2:論文目錄和頁碼的設置方法畢業(yè)論文寫完后，要設置頁碼和生成目錄。步驟如下：1、 封面封面不設置頁碼。點擊菜單欄的“插入”“頁碼”取消“首頁顯示頁碼”中的綠“確定”