جلد 31، شماره 2 - ( 4-1399 )                   جلد 31 شماره 2 صفحات 338-323 | برگشت به فهرست نسخه ها


XML English Abstract Print


Download citation:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:

Krishnamraju K. Design and verification of WM protocol for Electronic Commerce Transactions. IJIEPR 2020; 31 (2) :323-338
URL: http://ijiepr.iust.ac.ir/article-1-1060-fa.html
Design and verification of WM protocol for Electronic Commerce Transactions. نشریه بین المللی مهندسی صنایع و تحقیقات تولید. 1399; 31 (2) :323-338

URL: http://ijiepr.iust.ac.ir/article-1-1060-fa.html


چکیده:   (2964 مشاهده)
Now a days majority of commerce is taken place in electronic form. The e commerce transactions can be happened mainly in three forms. They are C2C(customer to customer), B2B(Business to business) and B2C(business to customer). Out of these B2C type of e-commerce is the most important one. Therefore  there is a need of a secure protocol for performing B2C type of e-commerce transactions. The B2C type the main participating entities are customers, website and merchant. In this paper the communication between the website and merchant is represented by WM protocol. The design of WM protocol must consider several issues like problem definition, services, environment, vocabulary and message formats. The verification of WM protocol is also performed with respect to the protocol procedure rules based on linear temporal logic. The procedure rules related to the protocol is specified in process meta language. The verification is performed by using SPIN model checker and corresponding results are reported.
     
نوع مطالعه: پژوهشي | موضوع مقاله: زنجیره تامین و لجستیک
دریافت: 1399/2/9 | پذیرش: 1399/2/9 | انتشار: 1399/2/9

ارسال نظر درباره این مقاله : نام کاربری یا پست الکترونیک شما:
CAPTCHA

بازنشر اطلاعات
Creative Commons License این مقاله تحت شرایط Creative Commons Attribution-NonCommercial 4.0 International License قابل بازنشر است.

کلیه حقوق این وب سایت متعلق به نشریه بین المللی مهندسی صنایع و تحقیقات تولید می باشد.

طراحی و برنامه نویسی : یکتاوب افزار شرق

© 2024 CC BY-NC 4.0 | International Journal of Industrial Engineering & Production Research

Designed & Developed by : Yektaweb