林熙禎;鍾佑祥;
頁: 153-164
日期: 2009/01
卷期: 16(專)
關鍵字: 線上交易協定;正規驗證;公平交易;電子現金;FDR;
Keywords: e-commerce protocol;formal verification;fair exchange;electronic cash;FDR;
摘要: 電子商務日漸普及，藉由網路進行電子交易亦為一種熱門新興的購物模式。但由於此交易模式尚未成熟，雙方皆憂慮在虛幻的網路中損失自身權益，因此交易公平性之疑慮成為電子商務發展瓶頸。近代學者提出許多公平交易相關協定，並以協定分析方式列舉情境來證明協定滿足公平特...

引用     導入Endnote