A reasoning agent for credit card fraud using the event calculus

被引:0
作者
Blackwell, Clive [1 ]
机构
[1] Royal Holloway Univ London, Informat Secur Grp, Egham TW20 0EX, Surrey, England
关键词
agent; CNP; card-not-present transaction; credit card fraud; e-commerce security; electronic-commerce security; event calculus; temporal logic; 3D Secure;
D O I
10.1504/IJESDF.2009.023878
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We illustrate the design of an intelligent agent to aid a merchant to limit fraudulent payment card purchases over the internet. This is important because increasing fraud may limit the rise of electronic-commerce, and difficult because of the uncertainty in identifying and authenticating people remotely. The agent can advise the merchant what actions to take to reduce risk without complete knowledge of the circumstances. It can also negotiate flexibly to conclude transactions successfully that would otherwise be rejected. We use the event calculus to model the transaction system including the participants and their actions. The idea has applications in other distributed systems where incomplete knowledge of a system may be exploited by adversaries to their advantage.
引用
收藏
页码:77 / 91
页数:15
相关论文
共 15 条
[1]  
[Anonymous], 2004, EMV SPECIFICATIONS 4
[2]  
APACS, 2006, SPOT STOP CARD NOT P
[3]  
Bolton RJ, 2002, STAT SCI, V17, P235
[4]  
Cox B, 1995, PROCEEDINGS OF THE FIRST USENIX WORKSHOP OF ELECTRONIC COMMERCE, P77
[5]  
Hogger ChristopherJ., 1990, ESSENTIALS LOGIC PRO
[6]  
Knottenbelt J., 2006, THESIS
[7]  
Knottenbelt J, 2006, LECT NOTES COMPUT SC, V3900, P226
[8]   A LOGIC-BASED CALCULUS OF EVENTS [J].
KOWALSKI, R ;
SERGOT, M .
NEW GENERATION COMPUTING, 1986, 4 (01) :67-95
[9]  
Kowalski R., 1998, LAW COMPUTER SCI ART
[10]  
Mann R.J, 2006, PAYMENT SYSTEMS OTHE