Wangyang Yu, ChunGang Yan, Zhijun Ding, Changjun Jiang, MengChu Zhou. Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns. IEEE T. Automation Science and Engineering, 13(2):647-662, 2016. [doi]
Abstract is missing.