TY - GEN
T1 - Analyzing the application of e-Commerce in wireless
AU - Kim, Hyun Seok
AU - Kim, Il Gon
AU - Choi, Jin Young
PY - 2005
Y1 - 2005
N2 - Owing to the explosive growth of the Internet, various electronic payment systems have been studied and suggested. Especially, the security of electronic payment protocols is of interest to researchers in academia and industry. However, the current electronic cash protocols are not offering security of the user's information trufully. The BCY protocols(Beller.,Chang.and Yacov.) is an electronic commerce protocol using certificate in wireless network. The core of BCY is a set of electronic transactions that reflect common trading activities such as purchasing goods or depositing funds. We use FDR(Failure Divergence Refinements) to verify BCY protocols. Our aim in this paper is to design a practical electronic payment protocol which is secure in wireless circumstance.
AB - Owing to the explosive growth of the Internet, various electronic payment systems have been studied and suggested. Especially, the security of electronic payment protocols is of interest to researchers in academia and industry. However, the current electronic cash protocols are not offering security of the user's information trufully. The BCY protocols(Beller.,Chang.and Yacov.) is an electronic commerce protocol using certificate in wireless network. The core of BCY is a set of electronic transactions that reflect common trading activities such as purchasing goods or depositing funds. We use FDR(Failure Divergence Refinements) to verify BCY protocols. Our aim in this paper is to design a practical electronic payment protocol which is secure in wireless circumstance.
UR - http://www.scopus.com/inward/record.url?scp=33847167470&partnerID=8YFLogxK
U2 - 10.1109/WMCS.2005.29
DO - 10.1109/WMCS.2005.29
M3 - Conference contribution
AN - SCOPUS:33847167470
SN - 0769523919
SN - 9780769523910
T3 - Proceedings - 2005 Second IEEE International Workshop on Mobile Commerce and Services, WMCS'05
SP - 112
EP - 120
BT - Proceedings - 2005 Second IEEE International Workshop on Mobile Commerce and Services, WMCS'05
ER -