Analysis for e-commerce protocols based on ProVerif
It was very important to analyze e-commerce protocols by formal methods.A technique for modeling the fair-change e-commerce protocol（FEEP） with automated dispute resolution and for verifying its property was proposed.First, FEEP was modeled in applied picalculus and a novel formalization of the fair...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2009-01-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/74654220/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841537608128135168 |
|---|---|
| author | GUO Yun-chuan1 DING Li3 ZHOU Yuan3 GUO Li1 |
| author_facet | GUO Yun-chuan1 DING Li3 ZHOU Yuan3 GUO Li1 |
| author_sort | GUO Yun-chuan1 |
| collection | DOAJ |
| description | It was very important to analyze e-commerce protocols by formal methods.A technique for modeling the fair-change e-commerce protocol（FEEP） with automated dispute resolution and for verifying its property was proposed.First, FEEP was modeled in applied picalculus and a novel formalization of the fairness was provided in term of a correspondence property.Then, ProVerif, proposed by Juels, Catalano and Jakobsson, was adopted to analyze FEEP automatically.The results show that:it is feasible to formalize the fairness based on a correspondence property;ProVerif can be used to verify the property that before event A happened, event B had happened, but it is not applicable to analyze the property that after event A happened, event B would happen. |
| format | Article |
| id | doaj-art-4ce2d5a04aa543c2bb01e74f1d291a8d |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 2009-01-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-4ce2d5a04aa543c2bb01e74f1d291a8d2025-01-14T08:30:04ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2009-01-013012512974654220Analysis for e-commerce protocols based on ProVerifGUO Yun-chuan1DING Li3ZHOU Yuan3GUO Li1It was very important to analyze e-commerce protocols by formal methods.A technique for modeling the fair-change e-commerce protocol（FEEP） with automated dispute resolution and for verifying its property was proposed.First, FEEP was modeled in applied picalculus and a novel formalization of the fairness was provided in term of a correspondence property.Then, ProVerif, proposed by Juels, Catalano and Jakobsson, was adopted to analyze FEEP automatically.The results show that:it is feasible to formalize the fairness based on a correspondence property;ProVerif can be used to verify the property that before event A happened, event B had happened, but it is not applicable to analyze the property that after event A happened, event B would happen.http://www.joconline.com.cn/zh/article/74654220/e-commerce protocolfairnessProVerif |
| spellingShingle | GUO Yun-chuan1 DING Li3 ZHOU Yuan3 GUO Li1 Analysis for e-commerce protocols based on ProVerif Tongxin xuebao e-commerce protocol fairness ProVerif |
| title | Analysis for e-commerce protocols based on ProVerif |
| title_full | Analysis for e-commerce protocols based on ProVerif |
| title_fullStr | Analysis for e-commerce protocols based on ProVerif |
| title_full_unstemmed | Analysis for e-commerce protocols based on ProVerif |
| title_short | Analysis for e-commerce protocols based on ProVerif |
| title_sort | analysis for e commerce protocols based on proverif |
| topic | e-commerce protocol fairness ProVerif |
| url | http://www.joconline.com.cn/zh/article/74654220/ |
| work_keys_str_mv | AT guoyunchuan1 analysisforecommerceprotocolsbasedonproverif AT dingli3 analysisforecommerceprotocolsbasedonproverif AT zhouyuan3 analysisforecommerceprotocolsbasedonproverif AT guoli1 analysisforecommerceprotocolsbasedonproverif |