網(wǎng)上支付的安全性成為制約電子商務發(fā)展的重要因素之一。Set 協(xié)議是為實現(xiàn)網(wǎng)上
安全支付而專門制定的協(xié)議，基于這一協(xié)議構(gòu)建了各種各樣不同類型的電子商務系統(tǒng)。本文以SET 協(xié)議為核心構(gòu)建了通用的電子商務系統(tǒng)框架，并采用有色Petri 網(wǎng)理論對電子商務系統(tǒng)進行建模與仿真。本文一方面解決了目前電子商務系統(tǒng)設計缺乏統(tǒng)一、規(guī)范的方法問題，另一方面引入有色Petri 網(wǎng)理論從系統(tǒng)結(jié)構(gòu)和性能角度驗證了采用SET 協(xié)議構(gòu)建電子商務系統(tǒng)的可行性。
關鍵詞：電子商務；有色Petri 網(wǎng)；SET 協(xié)議
ABSTRACT: The Security of on-line payment becomes the important factor to prevent the
development of electronic commerce. Security electronic transaction protocol is constituted for safe on-line payment. Many kinds of information systems have been built on the protocol. This paper builds the framework of electronic business system by the protocol and set up model by Petri nets theory and tools. The problem that there is not a unitive method when a electronic commerce system is designed has been solved. At last this paper use colorful Petri theory to analyze the structure and performance of the model and verified the possibility to use the protocol.
KEY WORDS: Electronic business; Colorful Petri nets; Secure Electronic Transaction protocol