| 基于Petri网和Web的电子商务安全性分析 |
| |
| 引用本文： | 方贤文,许志才,赵艳.基于Petri网和Web的电子商务安全性分析[J].计算机工程与设计,2007,28(22):5511-5513. |
| |
| 作者姓名： | 方贤文 许志才 赵艳 |
| |
| 作者单位： | 安徽理工大学数理系 安徽淮南232001(方贤文，赵艳)，滁州学院数学系 安徽滁州239012(许志才) |
| |
| 基金项目： | 国家自然科学基金
,
安徽省高校青年教师科研项目 |
| |
| 摘 要： | 在基于Web组合服务电子商务模型中,通过将各种电子商务的Web服务进行组合和集成以创建动态电子商务应用.但在组合的过程中,带来了新的问题,主要是安全性问题,采用一般的方法来分析是非常困难的.Petri网便于描述具有并发,异步、不确定性等特性的问题.利用Petri网的分析方法,如S-不变量、可达树、关联矩阵等,来分析模型中是否存在死锁、阻塞、冲突等问题,进而分析组合Web服务的电子商务模型的安全性.
|
| 关 键 词： | Petri网 Web服务 电子商务 安全性 S-不变量 死锁 Petri net 电子商务 安全性 分析模型 based analyses 阻塞 死锁 存在 关联矩阵 可达树 不变量 利用 特性 不确定性 描述 方法 问题 过程 商务应用 |
| 文章编号： | 1000-7024（2007）22-5511-03 |
| 收稿时间： | 2007-03-15 |
| 修稿时间： | 2007年3月15日 |
E-commerce security analyses based on Petri net and web |
| |
| FANG Xian-wen,XU Zhi-cai,ZHAO Yan.E-commerce security analyses based on Petri net and web[J].Computer Engineering and Design,2007,28(22):5511-5513. |
| |
| Authors: | FANG Xian-wen XU Zhi-cai ZHAO Yan |
| |
| Abstract: | 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. |
| |
| Keywords: | Petri net web service E-commerce security S-invariable deadlock |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
