%0 Journal Article %1 journals/tase/YuYDJZ16 %A Yu, WangYang %A Yan, ChunGang %A Ding, Zhijun %A Jiang, Changjun %A Zhou, MengChu %D 2016 %J IEEE Trans Autom. Sci. Eng. %K dblp %N 2 %P 647-662 %T Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns. %U http://dblp.uni-trier.de/db/journals/tase/tase13.html#YuYDJZ16 %V 13

@article{journals/tase/YuYDJZ16, added-at = {2020-04-02T00:00:00.000+0200}, author = {Yu, WangYang and Yan, ChunGang and Ding, Zhijun and Jiang, Changjun and Zhou, MengChu}, biburl = {https://www.bibsonomy.org/bibtex/251f0f9d1832b587456ce8c010c80d3d5/dblp}, ee = {https://doi.org/10.1109/TASE.2014.2362819}, interhash = {fe7eea815c8d583187f9a47b78177a51}, intrahash = {51f0f9d1832b587456ce8c010c80d3d5}, journal = {IEEE Trans Autom. Sci. Eng.}, keywords = {dblp}, number = 2, pages = {647-662}, timestamp = {2020-04-03T12:03:48.000+0200}, title = {Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns.}, url = {http://dblp.uni-trier.de/db/journals/tase/tase13.html#YuYDJZ16}, volume = 13, year = 2016 }