Formal Verification of a Fair-exchange Electronic Commerce Protocol for Digital Content Transactions
碩士 === 國立中央大學 === 資訊管理研究所 === 96 === Due to the growing popularity of e-commerce, electronic transactions through the Internet become one of the popular new shopping models. However, this model is not mature enough to convince the participants that they won’t ever suffer the loss of money or interes...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2008
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/cj8vz4 |