دانلود Security Analysis of Electronic Payment Protocols Based on Quantum Cryptography

Abstract

Electronic  payment  protocols  play  a  vital  role  in electronic commerce to ensure the security of transaction process.  Current  electronic  payment  protocols  based  on  complex mathematical  problems  will  be  vulnerable  facing  a  quantum computer.  In  order  to  enhance  the  security  against  quantum computers, quantum cryptography is introduced into electronic payment  protocols.  Although  the  quantum  cryptography  is claimed   to   be   unconditionally   secure,   Logical   defects   are still  likely  to  cause  serious  problems.  We  introduced  formal analysis  to  verify  the  security  of  electronic  payment  protocols based on quantum cryptography. Formal analysis methods can discover the vulnerabilities of protocols and help to improve the security  of  protocols.  In  this  paper,  we  analyze  an  electronic payment  protocol  based  on  quantum  cryptography  and  the result  shows  that  the  protocol  is  not  secure  even  adopting unconditionally  secure  quantum  cryptography.  We  found  that both the accountability and fairness of the original protocol are not satisfied. Then we proposed an improved protocol to meet the  requirement  of  accountability  and  fairness  and  verified  it through  formal  analysis  method.