基于Petri网和Web的电子商务安全性分析

摘要：

在基于Web组合服务电子商务模型中,通过将各种电子商务的Web服务进行组合和集成以创建动态电子商务应用.但在组合的过程中,带来了新的问题,主要是安全性问题,采用一般的方法来分析是非常困难的.Petri网便于描述具有并发,异步、不确定性等特性的问题.利用Petri网的分析方法,如S-不变量、可达树、关联矩阵等,来分析模型中是否存在死锁、阻塞、冲突等问题,进而分析组合Web服务的电子商务模型的安全性.

关键词：Petri网、Web服务、电子商务、安全性、S-不变量、死锁

所属期刊栏目：28

分类号：TP301.4(计算技术、计算机技术)

资助基金：国家自然科学基金30570431;安徽省高校青年教师科研项目2006jq1077

在线出版日期：2008-05-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：5511-5513