《基於進程代數的電子商務協定形式化研究》是依託上海交通大學，由傅育熙擔任項目負責人的面上項目。
基本介紹
- 中文名：基於進程代數的電子商務協定形式化研究
- 項目類別：面上項目
- 項目負責人：傅育熙
- 依託單位：上海交通大學
- 負責人職稱：教授
- 批准號：60473006
- 研究期限：2005-01-01 至 2007-12-31
- 申請代碼：F0201
- 支持經費：20（萬元）
項目摘要
電子商務已成為網路技術套用新的發展方向。電子商務協定是保證客戶和商家之間完成正常、可靠、安全交易活動的規則，是電子商務安全的基礎。電子商務協定的設計極易出錯，要設計一個正確、符合安全目標、沒有冗餘的協定十分困難。20年來，為了應對這一挑戰，人們設計了不同種類的形式化分析方法，投入了大量的精力。進程代數對於協定的描述幾乎接近協定的本身含義，因此它可以很精確地刻劃協定的運行過程；同時，進程代數的類型系統和等價關係可以精確地驗證協定的各項性質。我們要研究的是利用進程代數的等價關係性質和類型系統來驗證電子商務協定的性質。首先，我們要建立一個適合於電子商務協定形式化研究的抽象模型Epi演算，圍繞Epi演算能驗證電子商務協定性質的目的，對其操作語義、類型系統、等價關係及表達能力進行研究和完善。在此基礎上，嘗試開發一個電子商務協定的自動驗證工具。
