模型檢測在安全協(xié)議形式化驗證中的應(yīng)用

1、電子科技大學(xué)UNIVERSITYOFELECTRONICSCIENCETECHNOLOGYOFCHINA碩士學(xué)位論文MASTERDISSERTATION論文題目模型檢測在安全協(xié)議形式化驗證中的應(yīng)用學(xué)科專業(yè)計算機軟件與理論指導(dǎo)教師楊國武教授博導(dǎo)作者姓名陳亞軍學(xué)號200921060202萬方數(shù)據(jù)獨創(chuàng)性聲明本人聲明所呈交的學(xué)位論文是本人在導(dǎo)師指導(dǎo)下進行的研究工作本人聲明所呈交的學(xué)位論文是本人在導(dǎo)師指導(dǎo)下進行的研究工作及取得的研究成果。據(jù)我所知

2、，除了文中特別加以標(biāo)注和致謝的地方及取得的研究成果。據(jù)我所知，除了文中特別加以標(biāo)注和致謝的地方外，論文中不包含其他人已經(jīng)發(fā)表或撰寫過的研究外，論文中不包含其他人已經(jīng)發(fā)表或撰寫過的研究成果，也不包含為成果，也不包含為獲得電子科技大學(xué)或其它教育機構(gòu)的學(xué)位或證書而使用過的材料。與獲得電子科技大學(xué)或其它教育機構(gòu)的學(xué)位或證書而使用過的材料。與我一同工作的同志對本研究所做的任何貢獻均已在論文中作了明確的我一同工作的同志對本研究所做的任何貢獻均已在論

3、文中作了明確的說明并表示謝意。說明并表示謝意。簽名：簽名：日期：日期：年月日關(guān)于論文使用授權(quán)的說明關(guān)于論文使用授權(quán)的說明本學(xué)位論文作者完全了解電子科技大學(xué)有關(guān)保留、使用學(xué)位論文本學(xué)位論文作者完全了解電子科技大學(xué)有關(guān)保留、使用學(xué)位論文的規(guī)定，有權(quán)保留并向國家有關(guān)部門或機構(gòu)送交論文的復(fù)印件和磁盤，的規(guī)定，有權(quán)保留并向國家有關(guān)部門或機構(gòu)送交論文的復(fù)印件和磁盤，允許論文被查閱和借閱。本人授權(quán)電子科技大學(xué)可以將學(xué)位論文的全允許論文被查閱和借閱。本