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

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

Formal Specification and Analysis of Mobile E-commerce protocol

모바일 전자상거래 프로토콜의 정형명세 및 분석

  • Noh Jung Hyun (Dept of Computer Science & Engineering, Korea University) ;
  • Kim Il-Gon (Dept of Computer Science & Engineering, Korea University) ;
  • Choi Jin-Ghoo (KT Convergence Laboratory) ;
  • Kim Hyun-Seok (Dept of Computer Science & Engineering, Korea University) ;
  • Choi Jin-Young (Dept of Computer Science & Engineering, Korea University)
  • Published : 2005.11.01
Download PDF
⟨ Previous Next ⟩

Abstract

무선 인터넷을 이용한 전자상거래가 증가함에 따라 모바일 환경에서 전자상거래를 보다 안전하고 효율적으로 사용할 수 있도록 SET/A (Secure Electronic Transaction Agent) 프로토콜이 제안되었다. 본 논문에서는 키 노출에 따른 보안 취약점을 분석이 아닌 프로토콜의 행위적 관점에서 SET/A를 정형 명세하고 무선망 접속 불량이나 에이전트 동작 실패와 같은 오류 상황에 의해 교착 상태에 빠지지 않는지 정형 검증하였다. 그 결과 SET/A가 교착 상태에 빠질 수 있음을 확인하였고 확장된 SET/A 프로토콜을 제안하고 검증하였다.

Keywords