我國(guó)儲(chǔ)蓄函數(shù)的多元線性回歸分析我國(guó)儲(chǔ)蓄函數(shù)的多元線[精選]

1、 本 科 畢 業(yè) 論 文 （設(shè) 計(jì)）我國(guó)儲(chǔ)蓄函數(shù)的多元線性回歸小3號(hào)宋體，加下劃線分析我國(guó)儲(chǔ)蓄函數(shù)的多元線a multivariate linear regression 小3號(hào)times new roman，加下劃線analysis of chinas savings function作 者專 業(yè)商務(wù)1126財(cái)務(wù)管理張目 副教授系 部金融系二一五年五月 誠(chéng)信聲明本人鄭重聲明：本人所呈交的畢業(yè)論文，是在導(dǎo)師 指導(dǎo)下獨(dú)立研究取得的成果。畢業(yè)論文中凡引用他人已經(jīng)發(fā)表的成果、數(shù)據(jù)、觀點(diǎn)等，均已明確注明出處。除文中已注明引用的內(nèi)容外，不包含任何其他個(gè)人或集體已發(fā)表的論文。若有抄襲，愿承擔(dān)一切后果。特此

2、聲明作者簽名： 簽字日期：貴州財(cái)經(jīng)大學(xué)商務(wù)學(xué)院本科畢業(yè)論文授權(quán)使用聲明公開 保密( 年)作 者 簽 名： 簽字日期：四號(hào)、黑體、加粗、居中摘要本文主要對(duì)邏輯方法與模型檢測(cè)技術(shù)及其在電子商務(wù)協(xié)議并形式化分析中的應(yīng)用進(jìn)行了系統(tǒng)研究。總的來說，從理論到實(shí)踐兩個(gè)層面上研究了電子商務(wù)協(xié)議的形式化分析的相關(guān)技術(shù)，其工作主要有以下幾個(gè)方面:1.對(duì)電子商務(wù)協(xié)議的基本理論和基本性質(zhì)進(jìn)行了分析和討論，包括：安全性、保密性、完整性、可認(rèn)證性、非否認(rèn)性、公平性、時(shí)效性等，并對(duì)其中一些重要性質(zhì)做新的定義，提出電子商務(wù)協(xié)議設(shè)計(jì)的基本準(zhǔn)則。2.對(duì)當(dāng)前流行的電子商務(wù)協(xié)議形式化分析方法進(jìn)行重點(diǎn)研究，包括ban邏輯、kailar

3、邏輯及周卿方法。采用這些較新的形式化分析方法對(duì)幾個(gè)典型協(xié)議進(jìn)行分析，找出設(shè)計(jì)缺陷并提出新的公平非否認(rèn)性協(xié)議。五號(hào)、宋體、用逗號(hào)分隔關(guān)鍵詞：電子商務(wù)協(xié)議，形式化分析，邏輯方法，模型檢測(cè)，博弈邏輯四號(hào)、黑體、加粗四號(hào)，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 rel

4、ated formal analysis technology of e-commerce protocols from two aspects, theory and applications. the 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, fa

5、irness, timeliness and etc. redefine some key significant characters, and bring forward some new rules 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 importa

6、nt protocols, find out its limitations and bring forward a new fair non-repudiation protocol.五號(hào)，timesnewroman，用逗號(hào)分隔開五號(hào)，timesnewroman加粗keywords：e-commerce protocols, formal analysis, logic method, symbolic model checking, game logic目錄 摘要iabstractii1.緒論1課題背景12.電子商務(wù)協(xié)議2密碼協(xié)議27 結(jié)束語37.1 主要研究工作37.2 下一步工作3參考

7、文獻(xiàn)4致 謝5附錄1:參考文獻(xiàn)基本格式1附錄2:論文目錄和頁碼的設(shè)置方法4 一級(jí)標(biāo)題 四號(hào) 宋體 加粗 正文部分宋體 五號(hào)字 1.5倍行距，段首縮進(jìn)兩個(gè)字符最近幾年來，隨著計(jì)算機(jī)與網(wǎng)絡(luò)技術(shù)的飛速發(fā)展和廣泛應(yīng)用，使得信息的流通與存取變得更為快速與便捷。例如:政府積極推進(jìn)電子政務(wù)、企業(yè)公司間電子商務(wù)(electronic commerce)、個(gè)人在線購(gòu)物(on-line shopping)、信息家電(information appliance)、電子商務(wù)等，這些都是計(jì)算機(jī)與網(wǎng)絡(luò)技術(shù)的重大應(yīng)用的結(jié)果。因此可以說，在過去的十幾年里，計(jì)算機(jī)與計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)帶給人類社會(huì)的重大影響，不亞于工業(yè)革命，意義重大

8、而深遠(yuǎn)。二級(jí)標(biāo)題 宋體 五號(hào) 加粗自從美國(guó)前總統(tǒng)克林頓發(fā)表了“電子商務(wù)白皮書”之后，各國(guó)都加快步伐來構(gòu)建電子商務(wù)系統(tǒng)，以迎接全球信息化、網(wǎng)絡(luò)商業(yè)化的到來。沖繩八國(guó)集團(tuán)發(fā)表的全球信息化宣言其核心的內(nèi)容就是電子商務(wù)(electronic commerce)，據(jù)idc公布的數(shù)據(jù)，全球電子商務(wù)的規(guī)模2003年已突破1萬億美元，2004年已超過萬億美元.“上網(wǎng)的企業(yè)不一定能成功，但不上網(wǎng)的企業(yè)將會(huì)被淘汰出局”這已經(jīng)成為大多數(shù)人的共識(shí)。世界上許多大的公司都將電子商務(wù)列為主要的發(fā)展方向。ibm公司25%的收入來自于電子商務(wù)；cisco公司85%的交易在線完成，電子商務(wù)使其銷售額增加了500%，而人員僅增加了

9、100%，交貨期也由原來的3周變?yōu)?天。電子商務(wù)在增加賣方的銷售機(jī)會(huì)的同時(shí)，也同樣增加了買方購(gòu)買的機(jī)會(huì)，例如企業(yè)采購(gòu)時(shí)利用電子商務(wù)可以找到新的供應(yīng)商和貿(mào)易伙伴。另外在電子商務(wù)中，討價(jià)和還價(jià)的傳遞也十分快捷?？偟目磥?，美國(guó)的電子商務(wù)的啟動(dòng)期為1991-1995, 1996-1999為其高速增長(zhǎng)期，從2000年開始進(jìn)入穩(wěn)定的成長(zhǎng)期。我國(guó)政府也積極推動(dòng)電子商務(wù)發(fā)展，1997年10月，標(biāo)志著中國(guó)政府在電子商務(wù)領(lǐng)域?qū)嵸|(zhì)性突破，1996-1999年為啟動(dòng)期，從1999年開始進(jìn)入高速增長(zhǎng)期，而后隨著網(wǎng)絡(luò)經(jīng)濟(jì)的“泡沫”現(xiàn)象，全球的電子商務(wù)活動(dòng)暫時(shí)陷入了“寒冬”，現(xiàn)已恢復(fù)進(jìn)入了健康的發(fā)展階段。密碼協(xié)議是以密碼學(xué)

10、為基礎(chǔ)的消息交換協(xié)議，其目的是在網(wǎng)絡(luò)環(huán)境中提供各種安全服務(wù)1。安全目標(biāo)是多種多樣的。例如，認(rèn)證協(xié)議的目標(biāo)是認(rèn)證參加協(xié)議的主體的身份。此外，許多認(rèn)證協(xié)議還有一個(gè)附加的目標(biāo)，即在主體之間安全地分配密鑰或其他各種秘密。密碼協(xié)議的主要目的是利用密碼技術(shù)實(shí)現(xiàn)密鑰交換、身份認(rèn)證和安全支付，在安全領(lǐng)域中協(xié)議同密碼算法同樣重要。若密碼算法十分先進(jìn)，但密碼協(xié)議的設(shè)計(jì)有缺陷，該密碼體系仍存在嚴(yán)重的安全隱患。當(dāng)前關(guān)于安全問題的研究熱點(diǎn)之一是涉及密鑰分布、身份驗(yàn)證、數(shù)字簽名和公證的密碼協(xié)議的建模與形式化分析1。 密碼協(xié)議基本概念密碼協(xié)議是密碼參與者采取的一系列步驟，它包括兩方或多方密碼參與者，設(shè)計(jì)它的目的是要完成一項(xiàng)

11、任務(wù)?！耙幌盗胁襟E”意味著協(xié)議是從開始到結(jié)束的一個(gè)序列，每一步必須按嚴(yán)格的規(guī)定依次執(zhí)行，在前一步完成前，后面的步驟都不能執(zhí)行 ；“包括兩方或多方”意味著完成這個(gè)協(xié)議至少需要兩個(gè)人，單獨(dú)的一個(gè)人不能構(gòu)成協(xié)議，當(dāng)然單獨(dú)的一個(gè)人也可采取一系列步驟去完成一個(gè)任務(wù)，但這不是協(xié)議（另外一些人必須完成某件事才構(gòu)成協(xié)議）；最后，“設(shè)計(jì)它的目的是要完成一項(xiàng)任務(wù)”意味著協(xié)議必須做一些事。有些東西看起來像協(xié)議，但不完成一個(gè)任務(wù)，那也不是一個(gè)完整的協(xié)議，只是浪費(fèi)時(shí)間而已2。為了分析方便和書寫統(tǒng)一，我們對(duì)本書中用到的關(guān)于協(xié)議形式分析中的符號(hào)說明如表2-1所示：表名稱位于表格上方 宋體，五號(hào) 居中 表2-1 協(xié)議形式分析

12、中的符號(hào)說明a system principal a ( alice )b system principal b (bob)s trusted serverab: m a sending a message m to b m可放箭頭上m,n concatenation of message m and n 可用逗點(diǎn)代逗號(hào)ks public key of the trusted servermk encrypt m using key kmk decrypt m using key k bit-wise exclusive-or operation (xor) 三級(jí)標(biāo)題 宋體 五號(hào)2.1.3 電

13、子商務(wù)協(xié)議介紹本文只考慮協(xié)議的非否認(rèn)性和公平性，假定協(xié)議是安全的，并不引入第三方攻擊者模型，因而參與協(xié)議的主體集合為：付款人a，收款人b、貨幣服務(wù)方cs 。其中貨幣服務(wù)方cs是誠(chéng)實(shí)公正的，將嚴(yán)格執(zhí)行協(xié)議運(yùn)行，而a和b則不一定誠(chéng)實(shí)有可能為了自己的利益中斷協(xié)議執(zhí)行。協(xié)議中三個(gè)參與主體在smv系統(tǒng)中都對(duì)應(yīng)一個(gè)fsm, 這三個(gè)fsm在同一module之內(nèi)，每個(gè)主體都是這個(gè)module的一個(gè)實(shí)例(instance),這三個(gè)實(shí)例分別為payer，payee和coinservice。在協(xié)議運(yùn)行的時(shí)候，每個(gè)主體選擇各自相應(yīng)的自動(dòng)機(jī)運(yùn)行，其狀態(tài)轉(zhuǎn)移圖分別示于圖2-1、圖2-2和圖2-3（其中，！表示發(fā)送消息；？

14、表示接收消息）。圖名稱位于圖示下方 宋體，五號(hào)，居中 圖2-1 付款人a的狀態(tài)轉(zhuǎn)換圖7 結(jié)束語形式化描述方法是連接協(xié)議工程各個(gè)階段的紐帶，是協(xié)議工程中的核心問題。電子商務(wù)協(xié)議是實(shí)現(xiàn)電子商務(wù)的重要技術(shù)基礎(chǔ)，而安全性、公平性和可追究性又是電子商務(wù)協(xié)議安全中最重要的性質(zhì)?；谶壿嫷男问椒治龇椒ㄒ殉蔀槟壳半娮由虅?wù)協(xié)議研究的主要熱點(diǎn)，也是設(shè)計(jì)電子商務(wù)協(xié)議中值得研究的重要課題。本章將對(duì)全文的研究工作及創(chuàng)新點(diǎn)進(jìn)行總結(jié)，并且提出一些需要進(jìn)一步深入研究的問題。7.1 主要研究工作7.2 下一步工作參考文獻(xiàn)1 昂溫 g，昂溫p s外國(guó)出版史m陳生錚，譯北京：中國(guó)書籍出版社，1988 2 馬克思關(guān)于工資、價(jià)格和利潤(rùn)

15、的報(bào)告札記m/馬克思，恩格斯馬克思恩格斯全集：第44卷北京：人民出版社，1982：505 3 中國(guó)地質(zhì)學(xué)會(huì)地質(zhì)論評(píng)j1936，1（1）北京：地質(zhì)出版社，1936四號(hào)、黑體、加粗、居中 4 李炳穆理想的圖書館員和信息專家的素質(zhì)與形象j圖書情報(bào)工作，2000(2)：5-8 5 姜錫洲一種溫?zé)嵬夥笏幹苽浞桨福褐袊?guó)，88105607.3p1989-07-26中文采用：五號(hào)宋體；英文采用：五號(hào)times newroman 6 metcalf s w四號(hào)、黑體、加粗、居中致 謝感謝我的導(dǎo)師xxx教授，他自學(xué)嚴(yán)謹(jǐn)、一絲不茍的作風(fēng)一直是我以后工作、學(xué)習(xí)中的榜樣；他循循善誘的教導(dǎo)和不拘一格的思路給予我無盡的啟迪

16、。感謝我的白老師，這片論文的每個(gè)實(shí)驗(yàn)細(xì)節(jié)和每個(gè)數(shù)據(jù)，都離不開你的細(xì)心指導(dǎo)。而你開朗的個(gè)性和寬容的態(tài)度，幫助我能夠很快的融入我們這個(gè)新的實(shí)驗(yàn)室。感謝我的室友們，從遙遠(yuǎn)的家來到這個(gè)陌生的城市里，是你們和我共同維系著彼此之間兄弟般的感情，維系著寢室那份家的融洽。四年了，仿佛就在昨天。四年里，我們沒有紅過臉，沒有吵過嘴，沒有發(fā)生上大學(xué)前所擔(dān)心的任何不開心的事情。只是今后大家就難得再聚在一起吃每年元旦那頓飯了吧，沒關(guān)系，各奔前程，大家珍重。但愿遠(yuǎn)赴米國(guó)的c平平安安，留守復(fù)旦快快樂樂，揮師北上的順順利利，也愿離開我們寢室的開開心心。我們?cè)谝黄鸬娜兆樱視?huì)記一輩子的。感謝我的爸爸媽媽，焉得諼草，言樹之背，養(yǎng)

17、育之恩，無以回報(bào)，你們永遠(yuǎn)健康快樂是我最大的心愿。在論文即將完成之際，我的心情無法平靜，從開始進(jìn)入課題到論文的順利完成，有多少可敬的師長(zhǎng)、同學(xué)、朋友給了我無言的幫助，在這里請(qǐng)接受我誠(chéng)摯的謝意！附錄1:參考文獻(xiàn)基本格式 一、參考文獻(xiàn)是對(duì)期刊論文引文進(jìn)行統(tǒng)計(jì)和分析的重要信息源之一 ，在本規(guī)范中采用 gb 7714推薦的順序編碼制編排。 二、參考文獻(xiàn)著錄項(xiàng)目 a. 主要責(zé)任者 (專著作者、論文集主編、學(xué)位申報(bào)人、專利申請(qǐng)人、報(bào)告撰寫人、期刊文章作者、析出文章作者)。多個(gè)責(zé)任者之間以“，”分隔，注意在本項(xiàng)數(shù)據(jù)中不得出現(xiàn)縮寫點(diǎn)“.”“著”、“編”、“主編”、“合編”等責(zé)任說明。 b. 文獻(xiàn)題名及版本(初

18、版省略)。 c. 文獻(xiàn)類型及載體類型標(biāo)識(shí)。 d. 出版項(xiàng)(出版地、出版者、出版年)。 e. 文獻(xiàn)出處或電子文獻(xiàn)的可獲得地址。 f. 文獻(xiàn)起止頁碼。 g. 文獻(xiàn)標(biāo)準(zhǔn)編號(hào)(標(biāo)準(zhǔn)號(hào)、專利號(hào))。 三、參考文獻(xiàn)類型及其標(biāo)識(shí) 1、根據(jù) gb 3469規(guī)定，以單字母方式標(biāo)識(shí)以下各種參考文獻(xiàn)類型：參考文獻(xiàn)類型專著論文集報(bào)紙文章期刊文章學(xué)位論文報(bào)告標(biāo)準(zhǔn)專利文獻(xiàn)類型標(biāo)識(shí)mcnjdrsp注：m（monograph）,c(collection),n(newspaper),j(journal),d(dissertation),r(report), s(standard),p(patent).2、對(duì)于專著、論文集中的析出

19、文獻(xiàn)，其文獻(xiàn)類型標(biāo)識(shí)建議采用單字母“a”；對(duì)于其他未說明的文獻(xiàn)類型，建議采用單字母“z”。 3、對(duì)于數(shù)據(jù)庫 (database) 、計(jì)算機(jī)程序 (computer program) 及電子公告 (electronic bulletin board)等電子文獻(xiàn)類型的參考文獻(xiàn)，建議以下列雙字母作為標(biāo)識(shí)： 電子參考文獻(xiàn)類型數(shù)據(jù)庫計(jì)算機(jī)程序電子公告電子文獻(xiàn)類型標(biāo)識(shí)dbcpeb4、電子文獻(xiàn)的載體類型及其標(biāo)識(shí) 對(duì)于非紙張型載體的電子文獻(xiàn)，當(dāng)被引用為參考文獻(xiàn)時(shí)需要在參考文獻(xiàn)類型標(biāo)識(shí)中同時(shí)標(biāo)明其載體類型 。本規(guī)范建議采用雙字母表示電子文獻(xiàn)載體類型：磁帶(magnetic tape)mt，磁盤(disk)dk，

20、光盤(cd-rom)cd，聯(lián)機(jī)網(wǎng)絡(luò)(online)ol，并以下列格式表示包括了文獻(xiàn)載體類型的參考文獻(xiàn)類型標(biāo)識(shí)： 文獻(xiàn)類型標(biāo)識(shí)/載體類型標(biāo)識(shí) 如：db/ol聯(lián)機(jī)網(wǎng)上數(shù)據(jù)庫(database 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)在引作參考文獻(xiàn)時(shí)不必注

21、明其載體類型。 四、文后參考文獻(xiàn)表編排格式 參考文獻(xiàn)按在正文中出現(xiàn)的先后次序列表于文后；表上以 “參考文獻(xiàn)：”(左頂格)或 “參考文獻(xiàn)” (居中)作為標(biāo)識(shí)；參考文獻(xiàn)的序號(hào)左頂格，并用數(shù)字加方括號(hào)表示，如1、2、，以與正文中的指示序號(hào)格式一致 。參照iso 690及iso 690-2，每一參考文獻(xiàn)條目的最后均以“.”結(jié)束。各類參考文獻(xiàn)條目的編排格式及示例如下： a. 專著、論文集、學(xué)位論文、報(bào)告序號(hào) 主要責(zé)任者. 文獻(xiàn)題名 文獻(xiàn)類型標(biāo)識(shí). 出版地： 出版者， 出版年. 起止頁碼(任選). 1劉國(guó)鈞， 陳紹業(yè)，王鳳翥. 圖書館目錄m. 北京：高等教育出版社，1957. 15-18. 2辛希孟. 信

22、息技術(shù)與信息服務(wù)國(guó)際研討會(huì)論文集：a集c.北京： 中國(guó)社會(huì)科學(xué)出版社，1994. 3張筑生. 微分半動(dòng)力系統(tǒng)的不變集d. 北京：北京大學(xué)數(shù)學(xué)系數(shù)學(xué)研究所，1983.4馮西橋. 核反應(yīng)堆壓力管道與壓力容器的lbb分析r. 北京 ：清華大學(xué)核能技術(shù)設(shè)計(jì)研究院，1997. b. 期刊文章 序號(hào) 主要責(zé)任者.文獻(xiàn)題名j. 刊名，年，卷(期)： 起止頁碼. 5何齡修. 讀顧城南明史j. 中國(guó)史研究，1998，(3)：167-173. 6金顯賀，王昌長(zhǎng)，王忠東，等. 一種用于在線檢測(cè)局部放電的數(shù)字濾波技術(shù) j. 清華大學(xué)學(xué)報(bào)(自然科學(xué)版)， 1993， 33(4)： 62-67. c. 論文集中的析出文獻(xiàn)

23、序號(hào) 析出文獻(xiàn)主要責(zé)任者. 析出文獻(xiàn)題名 a. 原文獻(xiàn)主要責(zé)任者(任選) . 原文獻(xiàn)題名 c. 出版地：出版者，出版年. 析出文獻(xiàn)起止頁碼.7鐘文發(fā). 非線性規(guī)劃在可燃毒物配置中的應(yīng)用a. 趙瑋. 運(yùn)籌學(xué)的理論與應(yīng)用中國(guó)運(yùn)籌學(xué)會(huì)第五屆大會(huì)論文集c. 西安：西安電子科技大學(xué)出版社，1996. 468-471. d.報(bào)紙文章序號(hào) 主要責(zé)任者. 文獻(xiàn)題名 n. 報(bào)紙名，出版日期 (版次). 8 謝希德. 創(chuàng)造學(xué)習(xí)的新思路n. 人民日?qǐng)?bào)，1998-12-25(10). e. 國(guó)際、國(guó)家標(biāo)準(zhǔn) 序號(hào) 標(biāo)準(zhǔn)編號(hào)，標(biāo)準(zhǔn)名稱s. 9 gb/t 16159-1996，漢語拼音正詞法基本規(guī)則s. f.專利 序號(hào) 專

24、利所有者. 專利題名 p. 專利國(guó)別：專利號(hào)，出版日期. 10 姜錫洲. 一種溫?zé)嵬夥笏幹苽浞桨?p. 中國(guó)專利：881056073，1989-07-26. g.電子文獻(xiàn) 序號(hào) 主要責(zé)任者.電子文獻(xiàn)題名 電子文獻(xiàn)及載體類型標(biāo)識(shí).電子文獻(xiàn)的出處或可獲得地址，發(fā)表或更新日期/引用日期(任選). 11 王明亮. 關(guān)于中國(guó)學(xué)術(shù)期刊標(biāo)準(zhǔn)化數(shù)據(jù)庫系統(tǒng)工程的進(jìn)展 eb/ol 12萬錦坤. 中國(guó)大學(xué)學(xué)報(bào)論文文摘(1983-1993). 英文版 db/cd. 北京:中國(guó)大百科全書出版社，1996. h.各種未定義類型的文獻(xiàn) 序號(hào) 主要責(zé)任者.文獻(xiàn)題名 z. 出版地：出版者，出版年. 五、參考文獻(xiàn)與注釋的區(qū)別 參考文獻(xiàn)是作者寫作論著時(shí)所參考的文獻(xiàn)書目，一般集中列表于文末；注釋是對(duì)論著正文中某一特定內(nèi)容的進(jìn)一步解釋或補(bǔ)充說明 ，一般排印在該頁地腳 。參考文獻(xiàn)序號(hào)用方括號(hào)標(biāo)注，而注釋用數(shù)字加圓圈標(biāo)注(如、)。附錄2:論文目錄和頁碼的設(shè)置方法畢業(yè)論文寫完后，要設(shè)置頁碼和生成目錄。步驟如下：1、 封面封面不設(shè)置頁碼。點(diǎn)擊菜單欄的“插入”“頁碼”取消“首頁顯示頁碼”中的綠“確定”。2、 內(nèi)頁的頁碼設(shè)置內(nèi)頁一般包含“致謝”、“中英文摘要”、“中英文關(guān)鍵詞”和“目錄”。可分別對(duì)這四個(gè)項(xiàng)目設(shè)