期刊文献+

电子商务系统主体行为的描述与分析

Modeling and Analysis of Subjective Behaviors in Electronic Commerce Systems
下载PDF
导出
摘要 电子商务系统的主体行为对整个交易的安全非常重要。本文应用标注Petri网模拟技术,建立了电子商务系统中主体行为模型,解决了主体的责任分析、证据收集等与安全性有关的问题。 Electronic commerce provides business with new ways of advertising and selling goods, services, and information to large groups of customers in dynamic open electronic commerce environments. The subjective behaviors in electronic commerce systems play an important role in the security of the systems. This paper applies the labeled Petri nets to modeling and analyzing the subjective behaviors in electronic commerce systems, and solves the problems involving security such as subjective responsibility and evidence collection.
出处 《华东理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2007年第6期831-834,共4页 Journal of East China University of Science and Technology
基金 教育部科学技术研究重点项目(01077) 教育部优秀青年资助计划项目(EYTP) 华东理工大学博士基金以及上海市技术标准专项项目(04DZ05051)
关键词 电子商务 主体行为 PETRI网 electronic commerce subjective behavior Petri nets
  • 相关文献

参考文献4

  • 1Bultan T, Fu X, Hull R, et al. Conversation specification: A new approach to design and analysis of e service composition [A]. Proceedings of the Twelfth International World Wide Web Conference (WWW2OO3)[C] , Budapest, Hungary:[s. n. ],2003. 403 -410.
  • 2Jurjens J. Verification of low level crypto protocol implementations:Using automated theorem proving[A]. Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design [C]. New York, USA:IEEE,2005.89-98.
  • 3Zhao Renyi, Lakshmi N V. An event algebra based system for verifying E- commerce transactions [J]. Journal of Research and Practice in Information Technology, 2005,37(4): 399- 429.
  • 4David G Stork, Rob J Van Glabbeek, Token-controlled place refinement in hierarchical petri nels with application to active document workflow. Application and theory of Petri nets 2002 [A]. 23nd International Conference [C]. London, UK: Springcr Verlay,2002. 394-413.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部