頁籤選單縮合
| 題 名 | A Technique for Behavior Testing of SET Payment Based on Petri Nets |
|---|---|
| 作 者 | Wang,Chun-chia; Pai,Wen C.; Hung,Lun-ping; Chiang,Ding-jung; | 書刊名 | 淡江理工學刊 |
| 卷 期 | 3:2 2000.09[民89.09] |
| 頁 次 | 頁117-121 |
| 分類號 | 312.76 |
| 關鍵詞 | Petri nets; Reachability tree; Secure electronic transaction; SET; |
| 語 文 | 英文(English) |
| 英文摘要 | By secure electronic transaction (SET) protocol, business and customers can construct different electronic commerce models on the Internet. In this paper, we propose a method based on Petri net models and techniques of software engineering to detect unusual electronic commerce transactions. Users can construct all electronic commerce transactions of business and customers by SET. Because of features and functions of SET, users can get security and verification on the network transaction. Using our proposed technique, electronic commerce designers can detect potential security flaws in transaction behavior on the Internet and find any electronic transaction problems that need to solve. |
本系統中英文摘要資訊取自各篇刊載內容。