RISS 검색 - 국내학술지논문 상세보기

부가정보

국문 초록 (Abstract)

USIM(Universal Subscriber Identity Module) 기술은 데이터의 관리와 보호를 하나의 소형 칩 내에 집약시킨 기술로 최근에 이 기술에 대한 관심도가 증가하고 있다. 자바카드 가상기계는 자바 언어로 작...

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

다국어 초록 (Multilingual Abstract)

As Universal Subscriber Identity Module (USIM) technology can handle, manager and protect data within a small sized chip, peopled are more interested in USIM technology lately. Java Card Virtual Machine (JCVM) enables programs written by Java programming language to be run in smart cards with USIM chips.
However JCVM does not have a verifier as limits of hardware. In this paper, we propose a ByteCode verifier with novel algorithm based on Static Check policy. We experiment that the size of our verifier is reduced by 90% over generals.