網路安全協定之自動化驗證

Abstract

在目前這個電腦網路蓬勃發展的年代，要如何驗證千里之外與我們溝通者的身分，變成一個重要的問題。因此有許許多多的研究學者提出了一個又一個網路安全協定。但不幸的，要制定一個完美的安全協定是非常的困難的，我們在不斷推出的研究中，發現安全協定一個個被找出漏洞。因此我們想要找出一個方法可以檢驗安全協定的漏洞，相信對這個領域有所幫助。有鑑於目前主要採用的方式:邏輯分析法太過於複雜艱澀，我們試圖設計一個輕巧又有力的分析方法，不但易懂又保有威力。在本論文中，我們將先對網路安全協定領域做個介紹，之後提到我們的方法，並附上幾個實例，最後在介紹我們如何實作。期許這個新提出來的方法能對網路安全分析領域有所幫助。

Security protocol domain is more and more important with the popular Internet. But there are some troubles that we find flaws of many security protocols. So how to verify the correction of security protocols is a very important topic. Now, we propose a new algorithm to verify the security protocol. The goal of the method we desire is easy but robust. In this essay, we introduce base of the security protocol topic. Then we explain our method and give some examples. At last, we will show the our method’s implementation, and we give some goals that may be used to improve the method better in the future. We hope that this algorithm can be some contribution to security protocol domain.