Annual Conference of KIPS (한국정보처리학회:학술대회논문집)
- 2002.04a
- /
- Pages.489-492
- /
- 2002
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
A Study on Verification Method for Java Card Applet
자바 카드 애플릿의 검증 방법에 관한 연구
- Yoon, Chi-Young (Dept of Computer Engineering, DaeJeon University) ;
- Yeom, Hee-Gyun (Dept of Computer Engineering, DaeJeon University) ;
-
Jun, Sung-Ik
(ETRI)
;
-
Hwang, Sun-Myung
(Dept of Computer Engineering, DaeJeon University)
- Published : 2002.04.12
Abstract
자바카드 상에 탑재된 응용 애플릿의 풀질을 측정하는 것은 중요하다. 이는 애플릿 테스트 베드를 구축하기 위해 필수적인 과정으로, 본 연구에서는 자바 카프용으로 개발되는 응용 애플릿의 풀질을 분석하고 검증하는 방법이 필요하다. 애플릿과 호스트간의 커뮤니케이션 시에 발생되는 이벤트들을 케이스 별로 구분하여, 자바카드 런타임 환경(JCRE)을 통하여 작동되는 Command APDU 와 Response APDU들의 커뮤니케이션 테스트 케이스를 검증하는데 정형 검증 방법 이용이 가능하다.
Keywords