Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2005.07a
  • /
  • Pages.124-126
  • /
  • 2005
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Formal Specification and Security Analyis of CEPS(Common Electronic Purse Specification)

CEPS(Common Electronic Purse Specification)의 정형명세 및 보안성 분석

  • Kim Il-Gon (Dept of Computer Science & Engineering, Korea University) ;
  • Moon Young-Joo (Dept of Computer Science & Engineering, Korea University) ;
  • Bang Ki-Seok (Division of Information Engineering and Telecommunication Hallym University) ;
  • Kang Inhye (Dept of Mechanical and Information Engineering, University of Seoul) ;
  • Choi Jin-Young (Dept of Computer Science & Engineering, Korea University)
  • 김일곤 (고려대학교 컴퓨터학과) ;
  • 문영주 (고려대학교 컴퓨터학과) ;
  • 방기석 (한림대학교 정보통신공학부) ;
  • 강인혜 (서울시립대학교 기계정보공학과) ;
  • 최진영 (고려대학교 컴퓨터학과)
  • Published : 2005.07.01
Download PDF
⟨ Previous Next ⟩

Abstract

초고속 통신망 및 이동통신 단말기의 보급을 통해 전자상거래 서비스가 널리 확산되고 있으며, 이로 인해 유.무선 기반의 다양한 전자지불 시스템 및 표준들이 제안되고 있다. 그 중에서도 스마트 카드를 이용한 CESP 전자 상거래 표준이 많이 사용되고 있다. 본 논문에서는 Casper 및 FDR 도구를 사용하여, CEPS 표준 중에서 전자화폐를 이용한 물품 구입 프로토콜을 정형적으로 명세하고, 보안 취약점을 분석해 보았다.

Keywords