Log in
Language:

MERAL Myanmar Education Research and Learning Portal

  • Top
  • Universities
  • Ranking
To
lat lon distance
To

Field does not validate



Index Link

Index Tree

Please input email address.

WEKO

One fine body…

WEKO

One fine body…

Item

{"_buckets": {"deposit": "0b335688-b1bf-4220-85c9-f749e1d391c4"}, "_deposit": {"id": "3103", "owners": [], "pid": {"revision_id": 0, "type": "recid", "value": "3103"}, "status": "published"}, "_oai": {"id": "oai:meral.edu.mm:recid/3103", "sets": ["user-ytu"]}, "communities": ["ytu"], "item_1583103067471": {"attribute_name": "Title", "attribute_value_mlt": [{"subitem_1551255647225": "Design and Formal Analysis of E-cash System", "subitem_1551255648112": "en"}]}, "item_1583103085720": {"attribute_name": "Description", "attribute_value_mlt": [{"interim": "\u003cp\u003eE-cash system is one of the most popular e-commerce applications. Many researchers tried to improve security such as secrecy, non-repudiation, anonymity, and fairness. Although many researchers have proposed the E-cash payment protocols to the literature, there are few papers that analyze formally those protocols. The current e-cash protocols still need to check whether they meet fairness property. This paper will focus on analyzing non-repudiation, anonymity and fairness properties in e-cash payment protocol by using AVISPA tool. The proposed e-cash system consists of three parties: merchant, customer and bank. The bank is considered as Trust Third Party (TTP). The merchant and customer first need to apply and get their certificates from the bank by opening their accounts in the bank. When the customer wants to buy some e-goods from the Internet, the customer first needs to buy some e-cashes. This paper is to be secure for clients such as customers and merchants. The security architecture of the system is designed by the combination of the partial blind digital signature and anonymous digital signature. Finally, verification of the proposed protocol is done by using the formal verification tool, AVISPA. Therefore, this paper demonstrates the design and implementation of the e-cash system. Then, the proposed e-cash system is verified by using AVISPA tool.\u003c/p\u003e"}]}, "item_1583103108160": {"attribute_name": "Keywords", "attribute_value_mlt": [{"interim": "Fairness"}, {"interim": "Non-Repudiation"}, {"interim": "Anonymity"}, {"interim": "E-Cash"}, {"interim": "AVISPA"}]}, "item_1583103120197": {"attribute_name": "Files", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_access", "date": [{"dateType": "Available", "dateValue": "2019-06-28"}], "displaytype": "preview", "download_preview_message": "", "file_order": 0, "filename": "Design and Formal Analysis of E-cash System  Aye Thandar Swe-IJSETR.pdf", "filesize": [{"value": "472 Kb"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 472000.0, "url": {"url": "https://meral.edu.mm/record/3103/files/Design and Formal Analysis of E-cash System  Aye Thandar Swe-IJSETR.pdf"}, "version_id": "9b2d0a50-f378-49e8-b120-427739c115a2"}]}, "item_1583103131163": {"attribute_name": "Journal articles", "attribute_value_mlt": [{"subitem_issue": "Issue. 16", "subitem_journal_title": "International Journal of Scientific Engineering and Technology Research", "subitem_pages": "pp. 3318-3321", "subitem_volume": "Vol. 03"}]}, "item_1583103147082": {"attribute_name": "Conference papers", "attribute_value_mlt": [{"subitem_acronym": "", "subitem_c_date": "", "subitem_conference_title": "", "subitem_part": "", "subitem_place": "", "subitem_session": "", "subitem_website": ""}]}, "item_1583103211336": {"attribute_name": "Books/reports/chapters", "attribute_value_mlt": [{"subitem_book_title": "", "subitem_isbn": "", "subitem_pages": "", "subitem_place": "", "subitem_publisher": ""}]}, "item_1583103233624": {"attribute_name": "Thesis/dissertations", "attribute_value_mlt": [{"subitem_awarding_university": "", "subitem_supervisor(s)": [{"subitem_supervisor": ""}]}]}, "item_1583105942107": {"attribute_name": "Authors", "attribute_value_mlt": [{"subitem_authors": [{"subitem_authors_fullname": "AYE THANDAR SWE"}, {"subitem_authors_fullname": "KHIN KHAT KHAT"}]}]}, "item_1583108359239": {"attribute_name": "Upload type", "attribute_value_mlt": [{"interim": "Publication"}]}, "item_1583108428133": {"attribute_name": "Publication type", "attribute_value_mlt": [{"interim": "Journal article"}]}, "item_1583159729339": {"attribute_name": "Publication date", "attribute_value": "2014-09-15"}, "item_1583159847033": {"attribute_name": "Identifier", "attribute_value": "10.5281/zenodo.3133028"}, "item_title": "Design and Formal Analysis of E-cash System", "item_type_id": "21", "owner": "1", "path": ["1596119372420"], "permalink_uri": "http://hdl.handle.net/20.500.12678/0000003103", "pubdate": {"attribute_name": "Deposited date", "attribute_value": "2019-06-28"}, "publish_date": "2019-06-28", "publish_status": "0", "recid": "3103", "relation": {}, "relation_version_is_last": true, "title": ["Design and Formal Analysis of E-cash System"], "weko_shared_id": -1}
  1. Yangon Technological University
  2. Department of Computer Engineering and Information Technology

Design and Formal Analysis of E-cash System

http://hdl.handle.net/20.500.12678/0000003103
http://hdl.handle.net/20.500.12678/0000003103
79d17e95-2176-4279-82c1-9b1bdb565765
0b335688-b1bf-4220-85c9-f749e1d391c4
None
Preview
Name / File License Actions
Design Design and Formal Analysis of E-cash System Aye Thandar Swe-IJSETR.pdf (472 Kb)
Publication type
Journal article
Upload type
Publication
Title
Title Design and Formal Analysis of E-cash System
Language en
Publication date 2014-09-15
Authors
AYE THANDAR SWE
KHIN KHAT KHAT
Description
<p>E-cash system is one of the most popular e-commerce applications. Many researchers tried to improve security such as secrecy, non-repudiation, anonymity, and fairness. Although many researchers have proposed the E-cash payment protocols to the literature, there are few papers that analyze formally those protocols. The current e-cash protocols still need to check whether they meet fairness property. This paper will focus on analyzing non-repudiation, anonymity and fairness properties in e-cash payment protocol by using AVISPA tool. The proposed e-cash system consists of three parties: merchant, customer and bank. The bank is considered as Trust Third Party (TTP). The merchant and customer first need to apply and get their certificates from the bank by opening their accounts in the bank. When the customer wants to buy some e-goods from the Internet, the customer first needs to buy some e-cashes. This paper is to be secure for clients such as customers and merchants. The security architecture of the system is designed by the combination of the partial blind digital signature and anonymous digital signature. Finally, verification of the proposed protocol is done by using the formal verification tool, AVISPA. Therefore, this paper demonstrates the design and implementation of the e-cash system. Then, the proposed e-cash system is verified by using AVISPA tool.</p>
Keywords
Fairness, Non-Repudiation, Anonymity, E-Cash, AVISPA
Identifier 10.5281/zenodo.3133028
Journal articles
Issue. 16
International Journal of Scientific Engineering and Technology Research
pp. 3318-3321
Vol. 03
Conference papers
Books/reports/chapters
Thesis/dissertations
Back
0
0
views
downloads
See details
Views Downloads

Versions

Ver.1 2020-08-30 13:55:05.970394
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Export

OAI-PMH
  • OAI-PMH DublinCore
Other Formats
  • JSON

Confirm


Back to MERAL


Back to MERAL