Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2005.07a
- /
- Pages.349-351
- /
- 2005
- /
- 1598-5164(pISSN)
Formal Analysis of E-Commerce Protocols based on Smart Cards
스마트 카드 기반 전자상거래 프로토콜 정형분석
- Kim Il-Gon (Dept of Computer Science & Engineering, Korea University) ;
- Moon Young-Joo (Dept of Computer Science & Engineering, Korea University) ;
- Kim Hyun-Seok (Dept of Computer Science & Engineering, Korea 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
Abstract
스마트 카드 보급의 확산과 더불어 CEPS(Common Electronic Purse Specification) 전자지갑 규제 표준을 기반으로 한 전자상거래 서비스의 개발이 활성화 되고 있다. 전자상거래 프로토콜은 그 특성상, 소비자와 상인간의 정확한 물품 거래가 이루어져야 할 뿐만 아니라, 문제 발생시 상호간의 원인규명을 판단하기 위한 기준이 마련되어 있어야 한다. 본 논문에서는 CSP 언어를 이용하여 CEPS 기반 전자상거래 프로토콜의 행위를 정형 명세하였고, FDR 도구를 이용하여 전자상거래 관점에서 문제점을 분석해 보았다.
Keywords