信息安全若干關鍵技術(shù)的研究與應用.pdf

1、信息安全在銀行、電信、政府機關大型軟件系統(tǒng)中的重要性愈來愈顯突出,這些領域的軟件系統(tǒng)對安全性要求極高.由于信息安全對國民經(jīng)濟的影響日益加深,研究信息安全的關鍵技術(shù),尤其是基礎理論及其實際應用尤其顯得重要和緊迫.該文擬研究信息安全的兩大基礎理論,其一是密碼學,現(xiàn)代信息安全的基石是密碼學,包括傳統(tǒng)密碼學,對稱密碼學,非對稱密碼學,消息摘要,數(shù)字簽名,公開密鑰基礎設施PKI,SSL;其二是密碼協(xié)議,它是應用密碼學,使用密碼協(xié)議可以對保證網(wǎng)絡通

2、信協(xié)議的認證性、秘密性、完整性和非否認性,這對于大型軟件系統(tǒng)十分重要.該文對密碼協(xié)議采用形式化方法進行分析和驗證,這是一種嚴格而有效的方法.在此基礎上,將給出一個基于J2EE大型電子銀行應用系統(tǒng)的安全體系結(jié)構(gòu)模型,為銀行、電信、政府機關大型軟件系統(tǒng)的安全提供保障.針對上述研究目標,該文主要進行了以下工作:(1)研究密碼學和信息安全的基本理淪和關鍵技術(shù);(2)針對安全協(xié)議分析和設計的困難性,對現(xiàn)有的安全協(xié)議形式化分析和驗證方法進行了分析比