基于密鑰體系的oauth2.0改進協(xié)議形式化分析與驗證

1、分類號______________________________ 密級______________________________ ＵＤＣ______________________________ 編號______________________________ 碩 士 學 位 論 文 基于密鑰體系的 基于密鑰體系的 OAu OAuth 2.0 th 2.0 改進協(xié)議形式化 改進協(xié)議形式化分析與驗證 分析與驗證 學 位 申 請

2、人 ： 學 位 申 請 人 ： 程道雷 程道雷 學 科 專 業(yè) ： 學 科 專 業(yè) ： 計算機軟件與理論 計算機軟件與理論 指 導 教 師 ： 指 導 教 師 ： 肖美華 肖美華 教授 教授 答辯日期 答辯日期： 獨創(chuàng)性聲明 獨創(chuàng)性聲明 本人鄭重聲明：所呈交的學位論文是我個人在導師指導下進行的研究工作及取得的研究成果。盡我所知，除了文中特別加以標注和致謝的地方外，論文中不包含其他人已經(jīng)發(fā)表和撰寫的研究成果，也不包含為獲得華東交通大學

3、或其他教育機構(gòu)的學位或證書所使用過的材料。與我一同工作的同志對本研究所做的任何貢獻均已在論文中作了明確的說明并表示了謝意。 本人簽名_______________日期____________ 關(guān)于論文使用授權(quán)的說明 關(guān)于論文使用授權(quán)的說明 本人完全了解華東交通大學有關(guān)保留、使用學位論文的規(guī)定，即：學校有權(quán)保留送交論文的復印件，允許論文被查閱和借閱。學?？梢怨颊撐牡娜炕虿糠謨?nèi)容，可以采用影印、縮印或其他復制手段保存論文。 保密的論文在