Additional service security of e-commerce in mine enterprises
With the e-commerce developing, some mine enterprises established its own websites in order to provide network services. Now, these enterprises have to provide more services for the competition of e-business. The extend services as annexes are proposed. When the additional service added the original protocols of the e-commerce service changed. Because these actions may lead to some security hole the additional services should be checked. How to hold the security of e-business protocols is in front of us. We solve this problem by model checker (NuSMV) which can verify the security property. We analyze the additional service and show how to verify the additional services by model checker. This method can reduce the state spaces of the new service compounded by the original service and the extend one, and also provides a good way to check faults in the joint between the annex and the origin one.
e-commerce network security model checking
Bao Yu Zeng Guo-sun Zhao Liang
Department of Computer Science and Technology, China University of Mining & Technology, Xuzhou 22111 Department of Computer Science and Technology, Tongji University, Shanghai 200092, China Department of Computer Science and Technology, China University of Mining & Technology, Xuzhou 22111
国际会议
The 6th International Conference on Mining Science & Technology ICMST 2009(第六届国际矿业科学技术大会)
徐州
英文
1-7
2009-10-18(万方平台首次上网日期,不代表论文的发表时间)