{"_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}