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
- 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.
- Subjects :
- 050101 languages & linguistics
Computer science
Modeling language
Process (engineering)
business.industry
05 social sciences
02 engineering and technology
Petri net
Formal methods
CPN Tools
Work (electrical)
0202 electrical engineering, electronic engineering, information engineering
020201 artificial intelligence & image processing
0501 psychology and cognitive sciences
Software engineering
business
Database transaction
Subjects
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