我國儲蓄函數(shù)的多元線性回歸分析我國儲蓄函數(shù)的多元線分析研究 應(yīng)用數(shù)學(xué)專業(yè)

摘要本文主要對邏輯方法與模型檢測技術(shù)及其在電子商務(wù)協(xié)議并形式化分析中的應(yīng)用進行了系統(tǒng)研究?？偟膩碚f，從理論到實踐兩個層面上研究了電子商務(wù)協(xié)議的形式化分析的相關(guān)技術(shù)，其工作主要有以下幾個方面:1.對電子商務(wù)協(xié)議的基本理論和基本性質(zhì)進行了分析和討論，包括：安全性、保密性、完整性、可認證性、非否認性、公平性、時效性等，并對其中一些重要性質(zhì)做新的定義，提出電子商務(wù)協(xié)議設(shè)計的基本準(zhǔn)則。五號、宋體、1.5倍行間距2.對當(dāng)前流行的電子商務(wù)協(xié)議形式化分析方法進行重點研究，包括BAN邏輯、Kailar邏輯及周—卿方法。采用這些較新的形式化分析方法對幾個典型協(xié)議進行分析，找出設(shè)計缺陷并提出新的公平非否認性協(xié)議。五號、宋體、1.5倍行間距五號、宋體、用逗號分隔關(guān)鍵詞：電子商務(wù)協(xié)議，形式化分析，邏輯方法，模型檢測，博弈邏輯五號、宋體、用逗號分隔四號、黑體、加粗

四號、黑體、加粗四號，TimesNewRoman加粗、居中四號，TimesNewRoman加粗、居中AbstractThedissertationmainlystudiestheapplicationsoflogicandmodelcheckingmethodsinformalanalysisofE-commerceprotocols.Ingeneral,theauthorstudiestherelatedformalanalysistechnologyofE-commerceprotocolsfromtwoaspects,theoryandapplications.Themainworksandresultsareasfollows:1.AnalyzesanddiscussesthebasictheoriesandcharactersofE-commerceprotocols,includes:security,secrecy,integrity,authentication,non-repudiation,fairness,timelinessandetc.redefinesomekeysignificantcharacters,andbringforwardsomenewrulesofE-commerceprotocolsdesign.2.StudiesthecurrentformalanalysismethodsforE-commerceprotocols:BANlogic、KailarlogicandZhou-Qingapproach.Usetheabovemethodstoanalyzingsomeimportantprotocols,findoutitslimitationsandbringforwardanewfairnon-repudiationprotocol.五號，TimesNewRoman，用逗號分隔開五號，TimesNewRoman加粗Keywords：E-commerceProtocols,formalanalysis,logicmethod,SymbolicModelChecking,gamelogic五號，TimesNewRoman，用逗號分隔開五號，TimesNewRoman加粗目錄摘要 IAbstract II1.緒論 04231\h11.1課題背景 12.電子商務(wù)協(xié)議 22.1密碼協(xié)議 27結(jié)束語 37.1主要研究工作 37.2下一步工作 3參考文獻 PAGEREF_Toc246304238\h4致謝 5附錄1:參考文獻基本格式 1附錄2:論文目錄和頁碼的設(shè)置方法 4一級標(biāo)題四號宋體加粗一級標(biāo)題四號宋體加粗1.緒論正文部分宋體五號字1.5倍行距，段首縮進兩個字符最近幾年來，隨著計算機與網(wǎng)絡(luò)技術(shù)的飛速發(fā)展和廣泛應(yīng)用，使得信息的流通與存取變得更為快速與便捷。例如:政府積極推進電子政務(wù)、企業(yè)公司間電子商務(wù)(Electroniccommerce)、個人在線購物(on-lineShopping)、信息家電(InformationAppliance)、電子商務(wù)等，這些都是計算機與網(wǎng)絡(luò)技術(shù)的重大應(yīng)用的結(jié)果。因此可以說，在過去的十幾年里，計算機與計算機網(wǎng)絡(luò)技術(shù)帶給人類社會的重大影響，不亞于工業(yè)革命，意義重大而深遠。正文部分宋體五號字1.5倍行距，段首縮進兩個字符二級標(biāo)題宋體五號加粗自從美國前總統(tǒng)克林頓發(fā)表了“電子商務(wù)白皮書”之后，各國都加快步伐來構(gòu)建電子商務(wù)系統(tǒng)，以迎接全球信息化、網(wǎng)絡(luò)商業(yè)化的到來。沖繩八國集團發(fā)表的全球信息化宣言其核心的內(nèi)容就是電子商務(wù)(Electroniccommerce)，據(jù)IDC公布的數(shù)據(jù)，全球電子商務(wù)的規(guī)模2003年已突破1萬億美元，2004年已超過7.3萬億美元.“上網(wǎng)的企業(yè)不一定能成功，但不上網(wǎng)的企業(yè)將會被淘汰出局”這已經(jīng)成為大多數(shù)人的共識。世界上許多大的公司都將電子商務(wù)列為主要的發(fā)展方向。IBM公司25%的收入來自于電子商務(wù)；CISCO公司85%的交易在線完成，電子商務(wù)使其銷售額增加了500%，而人員僅增加了100%，交貨期也由原來的3周變?yōu)?天。電子商務(wù)在增加賣方的銷售機會的同時，也同樣增加了買方購買的機會，例如企業(yè)采購時利用電子商務(wù)可以找到新的供應(yīng)商和貿(mào)易伙伴。另外在電子商務(wù)中，討價和還價的傳遞也十分快捷?？偟目磥?，美國的電子商務(wù)的啟動期為1991-1995,1996-1999為其高速增長期，從2000年開始進入穩(wěn)定的成長期。我國政府也積極推動電子商務(wù)發(fā)展，1997年10月，標(biāo)志著中國政府在電子商務(wù)領(lǐng)域?qū)嵸|(zhì)性突破，1996-1999年為啟動期，從1999年開始進入高速增長期，而后隨著網(wǎng)絡(luò)經(jīng)濟的“泡沫”現(xiàn)象，全球的電子商務(wù)活動暫時陷入了“寒冬”，現(xiàn)已恢復(fù)進入了健康的發(fā)展階段。二級標(biāo)題宋體五號加粗1.1課題背景密碼協(xié)議是以密碼學(xué)為基礎(chǔ)的消息交換協(xié)議，其目的是在網(wǎng)絡(luò)環(huán)境中提供各種安全服務(wù)[1]。安全目標(biāo)是多種多樣的。例如，認證協(xié)議的目標(biāo)是認證參加協(xié)議的主體的身份。此外，許多認證協(xié)議還有一個附加的目標(biāo)，即在主體之間安全地分配密鑰或其他各種秘密。密碼協(xié)議的主要目的是利用密碼技術(shù)實現(xiàn)密鑰交換、身份認證和安全支付，在安全領(lǐng)域中協(xié)議同密碼算法同樣重要。若密碼算法十分先進，但密碼協(xié)議的設(shè)計有缺陷，該密碼體系仍存在嚴(yán)重的安全隱患。當(dāng)前關(guān)于安全問題的研究熱點之一是涉及密鑰分布、身份驗證、數(shù)字簽名和公證的密碼協(xié)議的建模與形式化分析[1]。……2.電子商務(wù)協(xié)議2.1密碼協(xié)議密碼協(xié)議基本概念密碼協(xié)議是密碼參與者采取的一系列步驟，它包括兩方或多方密碼參與者，設(shè)計它的目的是要完成一項任務(wù)?！耙幌盗胁襟E”意味著協(xié)議是從開始到結(jié)束的一個序列，每一步必須按嚴(yán)格的規(guī)定依次執(zhí)行，在前一步完成前，后面的步驟都不能執(zhí)行；“包括兩方或多方”意味著完成這個協(xié)議至少需要兩個人，單獨的一個人不能構(gòu)成協(xié)議，當(dāng)然單獨的一個人也可采取一系列步驟去完成一個任務(wù)，但這不是協(xié)議（另外一些人必須完成某件事才構(gòu)成協(xié)議）；最后，“設(shè)計它的目的是要完成一項任務(wù)”意味著協(xié)議必須做一些事。有些東西看起來像協(xié)議，但不完成一個任務(wù)，那也不是一個完整的協(xié)議，只是浪費時間而已[2]?！瓰榱朔治龇奖愫蜁鴮懡y(tǒng)一，我們對本書中用到的關(guān)于協(xié)議形式分析中的符號說明如表2-1所示：表名稱位于表格上方宋體，五號居中表名稱位于表格上方宋體，五號居中ASystemprincipalA(Alice)BSystemprincipalB(Bob)STrustedServerAB:mAsendingamessagemtoBm可放箭頭上m,nConcatenationofmessagemandn可用逗點代逗號KsPublickeyoftheTrustedServer{m}kEncryptmusingkeyk[m]kDecryptmusingkeykBit-wiseexclusive-oroperation(XOR)三級標(biāo)題宋體五號電子商務(wù)協(xié)議介紹三級標(biāo)題宋體五號……本文只考慮協(xié)議的非否認性和公平性，假定協(xié)議是安全的，并不引入第三方攻擊者模型，因而參與協(xié)議的主體集合為：{付款人A，收款人B、貨幣服務(wù)方CS}。其中貨幣服務(wù)方CS是誠實公正的，將嚴(yán)格執(zhí)行協(xié)議運行，而A和B則不一定誠實有可能為了自己的利益中斷協(xié)議執(zhí)行。協(xié)議中三個參與主體在SMV系統(tǒng)中都對應(yīng)一個FSM,這三個FSM在同一MODULE之內(nèi)，每個主體都是這個MODULE的一個實例(Instance),這三個實例分別為Payer，Payee和CoinService。在協(xié)議運行的時候，每個主體選擇各自相應(yīng)的自動機運行，其狀態(tài)轉(zhuǎn)移圖分別示于圖2-1、圖2-2和圖2-3（其中，！表示發(fā)送消息；？表示接收消息）。圖名稱位于圖示下方宋體，五號，居中圖名稱位于圖示下方宋體，五號，居中……7結(jié)束語形式化描述方法是連接協(xié)議工程各個階段的紐帶，是協(xié)議工程中的核心問題。電子商務(wù)協(xié)議是實現(xiàn)電子商務(wù)的重要技術(shù)基礎(chǔ)，而安全性、公平性和可追究性又是電子商務(wù)協(xié)議安全中最重要的性質(zhì)。基于邏輯的形式分析方法已成為目前電子商務(wù)協(xié)議研究的主要熱點，也是設(shè)計電子商務(wù)協(xié)議中值得研究的重要課題?！菊聦θ牡难芯抗ぷ骷皠?chuàng)新點進行總結(jié)，并且提出一些需要進一步深入研究的問題。7.1主要研究工作……7.2下一步工作……參考文獻[1]昂溫G，昂溫PS．外國出版史[M]．陳生錚，譯．北京：中國書籍出版社，1988．[2]馬克思．關(guān)于《工資、價格和利潤》的報告札記[M]//馬克思，恩格斯．馬克思恩格斯全集：第44卷．北京：人民出版社，1982：505．[3]中國地質(zhì)學(xué)會．地質(zhì)論評[J]．1936，1（1）－．北京：地質(zhì)出版社，1936－．四號、黑體、加粗、居中[4]李炳穆．理想的圖書館員和信息專家的素質(zhì)與形象[J]．圖書情報工作，2000(2)：5-8．四號、黑體、加粗、居中[5]姜錫洲．一種溫?zé)嵬夥笏幹苽浞桨福褐袊?8105607.3[P]．1989-07-26．中文采用：五號宋體；英文采用：五號TimesNewRoman段落采用1.5倍行距[6]METCALFSW中文采用：五號宋體；英文采用：五號TimesNewRoman段落采用1.5倍行距四號、黑體、加粗、居中四號、黑體、加粗、居中致謝附錄1:參考文獻基本格式

一、參考文獻是對期刊論文引文進行統(tǒng)計和分析的重要信息源之一，在本規(guī)范中采用GB7714推薦的順序編碼制編排。

二、參考文獻著錄項目

a.主要責(zé)任者(專著作者、論文集主編、學(xué)位申報人、專利申請人、報告撰寫人、期刊文章作者、析出文章作者)。多個責(zé)任者之間以“，”分隔，注意在本項數(shù)據(jù)中不得出現(xiàn)縮寫點“.”。主要責(zé)任者只列姓名，其后不加“著”、“編”、“主編”、“合編”等責(zé)任說明。

b.文獻題名及版本(初版省略)。

c.文獻類型及載體類型標(biāo)識。

d.出版項(出版地、出版者、出版年)。

e.文獻出處或電子文獻的可獲得地址。

f.文獻起止頁碼。

g.文獻標(biāo)準(zhǔn)編號(標(biāo)準(zhǔn)號、專利號……)。

三、參考文獻類型及其標(biāo)識

1、根據(jù)GB3469規(guī)定，以單字母方式標(biāo)識以下各種參考文獻類型：參考文獻類型專著論文集報紙文章期刊文章學(xué)位論文報告標(biāo)準(zhǔn)專利文獻類型標(biāo)識MCNJDRSP注：M（Monograph）,C(Collection),N(Newspaper),J(Journal),D(Dissertation),R(Report),S(Standard),P(Patent).2、對于專著、論文集中的析出文獻，其文獻類型標(biāo)識建議采用單字母“A”；對于其他未說明的文獻類型，建議采用單字母“Z”。

3、對于數(shù)據(jù)庫(database)、計算機程序(computerprogram)及電子公告(electronicbulletinboard)等電子文獻類型的參考文獻，建議以下列雙字母作為標(biāo)識：電子參考文獻類型數(shù)據(jù)庫計算機程序電子公告電子文獻類型標(biāo)識DBCPEB4、電子文獻的載體類型及其標(biāo)識

對于非紙張型載體的電子文獻，當(dāng)被引用為參考文獻時需要在參考文獻類型標(biāo)識中同時標(biāo)明其載體類型。本規(guī)范建議采用雙字母表示電子文獻載體類型：磁帶(magnetictape)——MT，磁盤(disk)——DK，光盤(CD-ROM)——CD，聯(lián)機網(wǎng)絡(luò)(online)——OL，并以下列格式表示包括了文獻載體類型的參考文獻類型標(biāo)識：

［文獻類型標(biāo)識/載體類型標(biāo)識］

如：［DB/OL］——聯(lián)機網(wǎng)上數(shù)據(jù)庫(databaseonline)

［DB/MT］——磁帶數(shù)據(jù)庫(databaseonmagnetictape)

［M/CD］——光盤圖書(monographonCD-ROM)

［CP/DK］——磁盤軟件(computerprogramondisk)

［J/OL］——網(wǎng)上期刊(serialonline)

［EB/OL］——網(wǎng)上電子公告(electronicbulletinboardonline)

以紙張為載體的傳統(tǒng)文獻在引作參考文獻時不必注明其載體類型。

四、文后參考文獻表編排格式

參考文獻按在正文中出現(xiàn)的先后次序列表于文后；表上以“參考文獻：”(左頂格)或“［參考文獻］”(居中)作為標(biāo)識；參考文獻的序號左頂格，并用數(shù)字加方括號表示，如［1］、［2］、…，以與正文中的指示序號格式一致。參照ISO690及ISO690-2，每一參考文獻條目的最后均以“.”結(jié)束。各類參考文獻條目的編排格式及示例如下：

a.專著、論文集、學(xué)位論文、報告［序號］主要責(zé)任者.文獻題名［文獻類型標(biāo)識］.出版地：出版者，出版年.起止頁碼(任選).

［1］劉國鈞，陳紹業(yè)，王鳳翥.圖書館目錄［M].北京：高等教育出版社，1957.15-18.

［2］辛希孟.信息技術(shù)與信息服務(wù)國際研討會論文集：A集[C].北京：中國社會科學(xué)出版社，1994.

［3］張筑生.微分半動力系統(tǒng)的不變集［D］.北京：北京大學(xué)數(shù)學(xué)系數(shù)學(xué)研究所，1983.［4］馮西橋.核反應(yīng)堆壓力管道與壓力容器的LBB分析［R］.北京：清華大學(xué)核能技術(shù)設(shè)計研究院，1997.

b.期刊文章

［序號］主要責(zé)任者.文獻題名［J］.刊名，年，卷(期)：起止頁碼.

［5］何齡修.讀顧城《南明史》［J］.中國史研究，1998，(3)：167-173.

［6］金顯賀，王昌長，王忠東，等.一種用于在線檢測局部放電的數(shù)字濾波技術(shù)［J］.清華大學(xué)學(xué)報(自然科學(xué)版)，1993，33(4)：62-67.

c.論文集中的析出文獻

［序號］析出文獻主要責(zé)任者.析出文獻題名［A］.原文獻主要責(zé)任者(任選).原文獻題名［C］.出版地：出版者，出版年.析出文獻起止頁碼.

［7］鐘文發(fā).非線性規(guī)劃在可燃毒物配置中的應(yīng)用［A］.趙瑋.運籌學(xué)的理論與應(yīng)用——中國運籌學(xué)會第五屆大會論文集［C］.西安：西安電子科技大學(xué)出版社，1996.468-471.

d.報紙文章

［序號］主要責(zé)任者.文獻題名［N］.報紙名，出版日期(版次).

［8］謝希德.創(chuàng)造學(xué)習(xí)的新思路［N］.人民日報，1998-12-25(10).e.國際、國家標(biāo)準(zhǔn)

［序號］標(biāo)準(zhǔn)編號，標(biāo)準(zhǔn)名稱［S］.

［9］GB/T16159-1996，漢語拼音正詞法基本規(guī)則［S］.

f.專利

［序號］專利所有者.專利題名［P］.專利國別：專利號，出版日期.

［10］姜錫洲.一種溫?zé)嵬夥笏幹苽浞桨福跴］.中國專利：881056073，1989-07-26.

g.電子文獻

［序號］主要責(zé)任者.電子文獻題名［電子文獻及載體類型標(biāo)識］.電子文獻的出處或可獲得地址，發(fā)表或更新日期/引用日期(任選).

［11］王明亮.關(guān)于中國學(xué)術(shù)期刊標(biāo)準(zhǔn)化數(shù)據(jù)庫系統(tǒng)工程的進展［EB/OL］.http://www./pub/wml.txt/980810-2.html,1998-08-16/1998-10-04.［12］萬錦坤.中國大學(xué)學(xué)報論文文摘(1983-1993).英文版［DB/CD］.北京:中國大百科全書出版社，1996.

h.各種未定義類型的文獻

［序號］主要責(zé)任者.文獻題名［Z］.出版地：出版者，出版年.

五、參考文獻與注釋的區(qū)別

參考文獻是作者寫作論著時所參考的文獻書目，一般集中列表于文末；注釋是對論著正文中某一特定內(nèi)容的進一步解釋或補充說明，一般排印在該頁地腳。參考文獻序號用方括號標(biāo)注，而注釋用數(shù)字加圓圈標(biāo)注(如①、②…)。附錄2:論文目錄和頁碼的設(shè)置方法畢業(yè)論文寫完后，要設(shè)置頁碼和生成目錄。步驟如下：封面封面不設(shè)置頁碼。點擊菜單欄的“插入”——“頁碼”——取消“首頁顯示頁碼”中的綠√——“確定”。內(nèi)頁的頁碼設(shè)置內(nèi)頁一般包含“致謝”、“中英文摘要”、“中英文關(guān)鍵詞”和“目錄”?？煞謩e對這四個項目設(shè)置頁碼。光標(biāo)固定在“致謝”頁的“致謝”前或后，點擊菜單欄的“文件”——“頁面設(shè)置”——“頁邊距”——找到“預(yù)覽應(yīng)用于（Y）:”，選擇“本節(jié)”——“確定”；點擊菜單欄的“插入”——“頁碼”——“格式”——“數(shù)字格式（F）:”，選擇羅馬數(shù)字ⅠⅡ