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

1、分類號(hào)______________________________ 密級(jí)______________________________ ＵＤＣ______________________________ 編號(hào)______________________________ 碩 士 學(xué) 位 論 文 基于密鑰體系的 基于密鑰體系的 OAu OAuth 2.0 th 2.0 改進(jìn)協(xié)議形式化 改進(jìn)協(xié)議形式化分析與驗(yàn)證 分析與驗(yàn)證 學(xué) 位 申 請(qǐng)

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

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