E-commerce security analyses based on Petri net and web
Yan Zhao · Jisuanji gongcheng yu sheji · 2007
In E-commerce model based on the web combination service,dynamic E-commerce application is built through some kinds of E-commerce web service combination and integration.But in the combination process,new question is brought forward,that mainly is the security question.It is extremeny difficult to analyze by general method.Petri net is advantageous for describing the question which having concurrently,asynchronous,indeterminism characteristic,the E-commerce model whether has the deadlock,blocking and conflict can be analyzed by using the analysis method of Petri net,such as S-invariable,reaching tree,relation matrixes method and so on,and then the E-commerce model security is also analyzed.