A Study on Verification Method for Java Card Applet

자바 카드 애플릿의 검증 방법에 관한 연구

  • Published : 2002.04.12

Abstract

자바카드 상에 탑재된 응용 애플릿의 풀질을 측정하는 것은 중요하다. 이는 애플릿 테스트 베드를 구축하기 위해 필수적인 과정으로, 본 연구에서는 자바 카프용으로 개발되는 응용 애플릿의 풀질을 분석하고 검증하는 방법이 필요하다. 애플릿과 호스트간의 커뮤니케이션 시에 발생되는 이벤트들을 케이스 별로 구분하여, 자바카드 런타임 환경(JCRE)을 통하여 작동되는 Command APDU 와 Response APDU들의 커뮤니케이션 테스트 케이스를 검증하는데 정형 검증 방법 이용이 가능하다.

Keywords