本文首先基於CSP的模型檢驗技術具有自動化分析程度高的特點，套用CSP模型檢驗技術與工具來分析驗證Helsinki、雙向認證協定和ASW公平認證協定，並發現了一些漏洞；但由於CSP模型檢驗技術存在狀態空間爆炸問題，於是進一步提出了結合進程代數和邏輯推理的基於良構符號跡的分析模型，並給出了有效的密碼協定驗證算法，而且利用SML語言實現了該算法，從而實現了密碼協定在一定程度上的自動化分析。
論文作者
秦超著
導師
陳鐘教授指導
學科專業
計算機軟體與理論
學位級別
d 2002n
學位授予單位
北京大學
學位授予時間
2002
關鍵字
網路協定 網路安全 信息安全 計算機安全 密碼協定
館藏號
TP393.0
唯一標識符
108.ndlc.2.1100009031010001/T3F24.002332612
館藏目錄
2003\TP393.0\18
