Paper Info
Title
Analysis of Security Protocols with Certificate over Open Networks: Electronic Payment System
Abstract
Electronic Commerce and Internet in wireless networks are profoundly changing the way of payment, but there is still little confidence among users concerning the security of their data. The application of formal techniques to the modelling and design of electronic commerce protocols should help to improve their reliability and so enhance the choices of these new technologies. In this paper, we show how the Casper, a special-purpose formal methods tool designed for the verification of the security protocols, was used in the analysis of the BCY(Beller, Chang, Yacobi), the Carlsen BCY and the Mu-Varadharajan BCY protocols. We describe the results of our analysis, which uncovered several vulnerabilities in the specification that would have made possible attacks such as man-in-the-middle attack and replay attack. Finally, we propose a new protocol resistant to these attacks and formally verify its correctness.
Year
DOI
Venue
2005
10.1109/ICDCSW.2005.41
ICDCS Workshops
Keywords
Field
DocType
special-purpose formal methods tool,new technology,possible attack,security protocol,replay attack,electronic payment,man-in-the-middle attack,new protocol resistant,security protocols,carlsen bcy,formal technique,mu-varadharajan bcy protocol,open networks,computer science,electronic money,wireless network,protocols,formal verification,authentication,wireless application protocol,man in the middle attack,data engineering,internet,cryptographic protocols,electronic commerce,data security,formal method,public key cryptography
Electronic money,Data security,Authentication,Cryptographic protocol,Computer science,Computer security,Computer network,Formal methods,Replay attack,Formal verification,The Internet
Conference
ISBN
Citations 
PageRank 
0-7695-2328-5-02
0
0.34
References 
Authors
10
3
Name
Order
Citations
PageRank
Hyun-Seok Kim100.34
Il-gon Kim2245.91
Jin-young Choi360650.44