Back to Search Start Over

Analyzing the Validation Flaws of Online Shopping Systems Based on Coloured Petri Nets

Analyzing the Validation Flaws of Online Shopping Systems Based on Coloured Petri Nets

Authors :
Wangyang Yu
Xiaojun Zhai
Yisheng An
Lu Liu
Source :
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Publication Year :
2019
Publisher :
IEEE, 2019.

Abstract

Online shopping systems integrating multiple participants have rapidly developed worldwide. The complex business interactions among the multiple participants introduce new security problems, and the validation flaw is one of the main issues. A legal user can utilize the validation flaws, by some special behaviours, to obtain illegal interests. To deal with above issue, we propose the process to analyze validation flaws by formal methods based on CPN (Coloured Petri nets). The modeling method is based on CPN Modeling Language, and the analyzing process utilizes the transaction properties of online shopping systems. CPN tools can provide the basic support to the analyzing process. A case study throughout this work is used to illustrate the proposed methodology.

Details

Database :
OpenAIRE
Journal :
2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI)
Accession number :
edsair.doi...........8c759110737b4a912fcc49c6b61914df
Full Text :
https://doi.org/10.1109/smartworld-uic-atc-scalcom-iop-sci.2019.00304