Abstract | ||
---|---|---|
The common electronic purse specifications (CEPS) was created as a globally interoperable electronic purse standard. However, it is also well known that numerous significant errors have been found in the design of e-commerce protocols. In this paper model-based verification using Casper, CSP and FDR is addressed, demonstrating how the secrecy properties in the CEPS can be achieved. Vulnerabilities are confirmed and its countermeasure are mentioned. In addition, we confirmed that model-based verification techniques should help identify and analyze error in the design of e-commerce protocols |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/AINA.2006.296 | AINA (1) |
Keywords | Field | DocType |
paper model-based verification,communicating sequential process,protocols,communicating sequential processes,e-commerce protocol,electronic money,purchase transaction,common electronic purse specifications,failure divergence refinement,casper,error analysis,electronic purses,common electronic purse specification,secrecy property,ceps,ecommerce protocol,interoperable electronic purse standard,telecommunication security,model-based verification technique,secrecy analysis,fdr,formal verification,csp,numerous significant error,authentication,electronic countermeasures,public key cryptography,cryptographic protocols,security,e commerce,internet,computer science,electronic commerce | Electronic money,Authentication,Cryptographic protocol,Computer science,Computer security,Secrecy,Communicating sequential processes,Computer network,Electronic countermeasure,Public-key cryptography,Database,Formal verification | Conference |
Volume | ISSN | ISBN |
1 | 1550-445X | 0-7695-2466-4 |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Il-gon Kim | 1 | 24 | 5.91 |
Hyun-Seok Kim | 2 | 53 | 9.00 |
Ji Yeon Lee | 3 | 32 | 3.50 |
Jin-young Choi | 4 | 606 | 50.44 |
Inhye Kang | 5 | 169 | 17.91 |