Annual Conference of KIPS (한국정보처리학회:학술대회논문집)

  • 2003.11b
  • /
  • Pages.1197-1200
  • /
  • 2003
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

An Efficient Bytecodes Verification Technology for Small Devices

소형 기기용 효율적인 바이트 코드 검증기술에 관한 연구

  • 황철준 (경남대학교 컴퓨터공학과) ;
  • 조증보 (경남대학교 컴퓨터공학과) ;
  • 정민수 (경남대학교 컴퓨터공학과)
  • Published : 2003.11.14
Download PDF
⟨ Previous Next ⟩

Abstract

USIM(Universal Subscriber Identity Module) 기술은 데이터의 관리와 보호를 하나의 소형 칩 내에 집약시킨 기술로 최근에 이 기술에 대한 관심도가 증가하고 있다. 자바카드 가상기계는 자바 언어로 작성된 프로그램이 USIM 칩 내부에서 실행 가능하도록 해준다. 하지만 자바카드 가상 기계는 자원 제약적인 디바이스의 특성으로 인하여 검증기술을 제공하지 않는다. 본 논문에서는 정적 체크 기반의 효율적인 바이트코드 검증기를 제안한다. 연구 결과 본 논문에서 제안하는 검증기는 일반적인 것에 비해 90% 이상의 사이즈가 감소되었다.

Keywords