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

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

UPPAAL을 이용한 전자지불 프로토콜 분석

Analysis of E-Commerce Protocols Using UPPAAL

  • 문영주 (고려대학교 컴퓨터학과) ;
  • 방기석 (한림대학교 정보통신공학부) ;
  • 김일곤 (고려대학교 컴퓨터학과) ;
  • 강인혜 (서울시립대학교 기계정보공학과) ;
  • 최진영 (고려대학교 컴퓨터학과)
  • Moon Young-Joo (Dept of Computer Science & Engineering, Korea University) ;
  • Bang Ki-Seok (Division of Information Engineering and Telecommunication Hallym University) ;
  • Kim Il-Gon (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)
  • 발행 : 2005.07.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

전자지불 시스템의 활용성 중대와 더불어 상거래의 안전성을 보장하는 문제가 중요한 핵심 사항으로 간주되고 있다. 본 논문에서는 이러한 전자지불 시스템의 암호화 키는 안전하다는 가정 하에 전자지불 프로토콜을 통해 소비자와 상인, 은행간의 상거래의 정확성을 중점으로 NetBill 프로토콜을 명세, 검증했다. 프로토콜의 명세를 위해서는 실시간 개념이 포함되어 있는 UPPAAL을 사용했다.

키워드