安全電子商務協議的邏輯分析方法研究.pdf

1、電子商務是當前各國研究的熱點。電子商務是以協議為構成框架的，電子商務協議的安全性是決定電子商務發(fā)展的關鍵因素。安全電子商務協議，是使用了密碼學方法的協議，其目的就是為了在復雜的、不安全的網絡環(huán)境中為參加電子商務活動的主體提供各種安全服務。安全電子商務協議的目的是保證信息的安全，但是如果協議本身存在漏洞，攻擊者就會利用這些漏洞，對合法通信者造成危害。因此需要對安全協議進行分析和驗證，來檢查安全電子商務協議是否能夠達到其預期的目標。

2、 Kailar邏輯和卿．周邏輯是常見的安全電子商務協議形式化分析方法，但是它們只能分析協議的有限性質，并且在遇到重放攻擊時Kailar邏輯和卿一周邏輯不能正確分析主體的責任性。本文在深入研究安全電子商務協議形式化分析方法理論的基礎上，做了以下幾個方面的工作： (1)深入了解了安全電子商務協議的安全性質，尤其是原子性、可追究性與公平性。 (2)熟悉針對安全電子商務協議的常見攻擊方法，用重放攻擊分析了IBS協議和CMP協議，