한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2003년도 추계학술발표논문집 (중)
- /
- Pages.1197-1200
- /
- 2003
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
소형 기기용 효율적인 바이트 코드 검증기술에 관한 연구
An Efficient Bytecodes Verification Technology for Small Devices
- Hwang, Cheul-Jun (Dept of Computer Engineering, Kyungnam University) ;
- Cho, Jeung-Bo (Dept of Computer Engineering, Kyungnam University) ;
- Jung, Min-Soo (Dept of Computer Engineering, Kyungnam University)
- 발행 : 2003.11.14
초록
USIM(Universal Subscriber Identity Module) 기술은 데이터의 관리와 보호를 하나의 소형 칩 내에 집약시킨 기술로 최근에 이 기술에 대한 관심도가 증가하고 있다. 자바카드 가상기계는 자바 언어로 작성된 프로그램이 USIM 칩 내부에서 실행 가능하도록 해준다. 하지만 자바카드 가상 기계는 자원 제약적인 디바이스의 특성으로 인하여 검증기술을 제공하지 않는다. 본 논문에서는 정적 체크 기반의 효율적인 바이트코드 검증기를 제안한다. 연구 결과 본 논문에서 제안하는 검증기는 일반적인 것에 비해 90% 이상의 사이즈가 감소되었다.
키워드