內容簡介
電子商務交易協定理論與驗證方法這是對國家自然科學基金資助項目“基於離線可信第三方的電子現金交易系統理論與方法”的一個全面總結。全書圍繞電子商務交易協定相關理論和協定驗證方法展開，從保護交易雙方利益的角度出發，針對電子商務交易協定，尤其是電子現金支付理論研究和實際套用中存在的瓶頸問題，以電子商務交易安全框架為主線，對電子商務交易協定的底層安全技術、交易協定屬性、交易協定的模型以及交易協定驗證的理論和方法進行了系統的闡述。
圖書目錄
第一章 電子商務交易系統
1．1 電子商務交易系統發展
1．1．1 電子商務交易的網上支付發展
1．1．2 電子現金交易系統發展
1．1．3 電子商務交易的個性化推薦系統發展
1．2 電子商務交易系統安全體系
1．2．1 電子商務安全技術體系
1．2．2 加密技術層
1．2．3 安全認證層
1．3 電子商務交易協定屬性及分析
1．3．1 電子商務交易協定特殊性
1．3．2 電子商務交易協定屬性
1．3．3 電子商務交易協定比較分析
第二章 電子現金交易協定研究進展
2．1 交易協定的公平性
2．1．1 漸進式互換實現公平性
2．1．2 On—line TTP方法實現公平性
2．1．3 Off—line TTP方法實現公平性
2．2 交易協定的原子性研究
2．2．1 原子性解決方案
2．2．2 匿名原子交易協定
2．3 交易協定的匿名性研究
2．3．1 無條件的電子現金方案
2．3．2 有條件的電子現金方案
2．4 交易協定的電子現金可分性研究
2．4．1 基於二叉樹的可分電子現金方案
2．4．2 不使用二叉樹的可分電子現金方案
2．5 數據壓縮k-spendable電子現金方案
2．5．1 數據壓縮k-spendable電子現金方案的效率研究
2．5．2 數據壓縮k-spenclable電子現金方案的可分性研究
2．5．3 數據壓縮k-
